Author:
Syverson Paul,Cervesato Iliano
Publisher
Springer Berlin Heidelberg
Reference121 articles.
1. M. Abadi, M. Burrows, C. Kaufman, and B. Lampson. Authentication and delegation with smart-cards. Research Report 67, Digital Systems Research Center, October 1990. Revised July, 1992. 69
2. Martín Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: the spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, pages 36–47. ACM Press, April 1997. 130
3. Martín Abadi and Andrew D. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 143:1–70, 1999. An extended version of this paper appears as Research Report 149, Digital Equipment Corporation Systems Research Center, January 1998. An early presentation appears in [AG97]. 113
4. Martín Abadi and Roger Needham. Prudent engineering practices for cryptographic protocols. In Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, pages 122–136. IEEE CS Press, May 1994. 106, 130
5. Lect Notes Comput Sci;R. Anderson,1995
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献