Optimality of asynchronous two-party secure data-exchange protocols

Journal of Computer Security

Volumn 2, Issue 2-3, 1993, Pages 191-209

  Yahalom, Raphael ^a  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974746841     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-1993-22-307     Document Type: Article

References (23)

1. M Abadi and M. R Tuttle, “A Semantics for a Logic of Authentication”, Proc. of the ACM 10th Symp on Principles of Distributed Computing, Montreal, August 1991, pp. 201-216.
2. Y. Amir, D. Dolev, S. Kramer, and D. Malm, “Transis: A Communication Subsystem for High Availability” The Hebrew University of Jerusalem, Computer Science Department, Tech. Report CS91-13, 1991.
3. R. Bird, I. Gopal, A. Herzberg, P. Janson, S. Kutten, R. Molva, and M. Yung, “Systematic Design of Two-Party Authentication Protocols”, Lecture Notes in Computer Science 576 — Proceedings of Crypto 91. Springer-Verlag, 1992, pp. 44-61.
4. K. P. Birman and T. A. Joseph, “Exploiting Virtual Synchrony in Distributed Systems”, Proc of the ACM 11th Symp on Operating Systems Principles, Texas, November 1987, pp. 123-138.
5. M. Burrows, M. Abadi, and R. Needham, “A Logic of Authentication”, in Proceedings of the 12th ACM Symposium on Operating Systems Principles, Litchfield Park, Arizona, December, 1989, pp. 1-13. Published as ACM Operating Systems Review, Vol. 23, No. 5, December, 1989.
6. D. Dolev and A. C. Yao “On the Security of Public Key Protocols”, IEEE Trans, on Inf. Theory IT-29, 1983, pp. 198-208.
7. D. Dolev, S. Even, and R. M. Karp, “On the Security of Ping-Pong Protocols”, Information and Control, 55, 1982, pp. 57-68.
8. L. Gong, “A Security Risk of Depending on Synchronized Clocks”, Operating Systems Review, Vol. 26, No. 1, 1992, pp. 49-53.
9. L. Gong, R. Needham, and R. Yahalom, “Reasoning about Belief in Cryptographic Protocols”, in Proceedings of the 1990 IEEE Symposium on Security and Privacy, Oakland, California, May, 1990, pp. 234-248.
10. L. Lamport, “Time, Clocs, and the Ordering of Events in a Distributed System”, Comm, of the ACM, Vol. 21, No. 7, 1977, pp. 558-565.
11. W. Lu and M. Sundareshan, “Secure Communication in Internet Environments: A Hierarchical Key Management Scheme for End-to-End Encryption”, IEEE Transactions on Communications, Vol. 37, No. 10, October, 1989, pp. 1014—1023.
12. C. Meadows, “Applying Formal Methods to the Analysis of Key Management Protocols”, Journal of Computer Security, 1, 1992, pp. 5-53.
13. M. Merritt, “Cryptographic Protocols”, Georgia Institute of Technology, Tech. Report G1T-ICS-83/06, 1983.
14. J. K. Millen, S. C. Clark, and S. B. Freedman, “The Interrogator: Protocol Security Analysis”, IEEE Trans, on Software Eng., SE-13, 1987, pp. 274-288.
15. R. M. Needham and M. D. Schroeder, “Using Encryption for Authentication in Large Networks of Computers”, Communications of the ACM, Vol. 21, No. 12, December, 1978, pp. 993-999
16. R. M. Needham and M. D. Schroeder, “Authenticatin Revisited”, Operating Systems Review, Vol. 21, No. 1, January, 1987, p. 7.
17. D Otway and O Rees, “Efficient and Timely Mutual Authentication”, Operating Systems Review, Vol. 21, No. 1, January, 1987, pp. 1-10.
18. R. L Rivest, A. Shamir, and L. Adleman, “A Method for Obtaining Digital Signatures and Public-key Cryptosystems”, Communications of the ACM, Vol. 21, No. 2, February, 1978, pp. 120-126.
19. F B. Schneider, “The State Machine Approach: A Tutorial”, Technical Report 86800, Department of Computer Science, Cornell University, December 1986.
20. J. Steiner, C. Neuman, and J. I. Schiller, “Kerberos: An Authentication Service for Open Network Systems”, Proc. Winter Usenix Dallas, 1988.
21. S. G. Stubblebine and V. D. Gligor, “On Message Integrity in Cryptographic Protocols”, in Proceedings of the IEEE Symposium on Security and Privacy, Oakland, California, 1992, pp. 85-104.
22. B. Thomson, E. S. Lee, P. I. P. Boulton, M. Stumm, and D. M. Lewis, “A Trusted Network Architecture”, Computer Systems Research Institute, University of Toronto, Ontario, October, 1988, pp. 69-93 197-203.
23. R. Yahalom, B. Klein, and Th. Beth, “Trust Relations in Secure Systems — A Distributed Authentication Perspective”, in Proceedings of the IEEE Symposium on Security and Privacy, Oakland, California, 1993, pp. 150-164.