Author:
Abadi Martín,Blanchet Bruno
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Martín Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749–786, September 1999.
2. Martín Abadi. Security protocols and their properties. In F.L. Bauer and R. Steinbrueggen, editors, Foundations of Secure Computation, NATO Science Series, pages 39–60. IOS Press, 2000. Volume for the 20th International Summer School on Foundations of Secure Computation, held in Marktoberdorf, Germany (1999).
3. Martín Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1–70, January 1999. An extended version appeared as Digital Equipment Corporation Systems Research Center report No. 149, January 1998.
4. Martín Abadi and Roger Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6–15, January 1996.
5. Ross Anderson and Roger Needham. Robustness principles for public key protocols. In Proceedings of Crypto’ 95, pages 236–247, 1995.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献