Author:
Dechesne Francien,Mousavi MohammadReza,Orzan Simona
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. A Maude implementation of PAi, http://www.win.tue.nl/~mousavi/pai.htm
2. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148(1), 1–70 (1999)
3. Baltag, A.: Logics for insecure communication. In: Proc. TARK 2001, pp. 111–121 (2001)
4. Lecture Notes in Computer Science;M. Bhargava,2005
5. Borgström, J., Kramer, S., Nestmann, U.: Calculus of cryptographic communication. In: Proc. FCS-ARSPA 2006 (2006)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient analysis of belief properties in process algebra;Journal of Logical and Algebraic Methods in Programming;2024-10
2. A multidomain relational framework to guide institutional AI research and adoption;Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society;2023-08-08
3. A policy-aware epistemic framework for social networks;Journal of Logic and Computation;2022-04-11
4. Towards Logical Specification of Statistical Machine Learning;Software Engineering and Formal Methods;2019
5. Statistical Epistemic Logic;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019