Variations on the themes of message freshness and replay - Or the difficulty in devising formal methods to analyze cryptographic protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1993, Pages 131-136

  Gong, L ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; SECURITY OF DATA; SECURITY SYSTEMS;

CRYPTOGRAPHIC PROTOCOLS; REPLAY ATTACK;

FORMAL METHODS;

EID: 85055795738     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1993.246633     Document Type: Conference Paper

References (26)

1. [Bauer 83] R.K. Bauer, T.A. Berson, and R.J. Feiertag, "A Key Distribution Protocol Using Event Markers," ACM Transactions on Computer Systems, Vol.1, No.3, August, 1983, pp.249-255.
2. [Bird 93] B. Bird, I. Gopal, A. Herzberg, P. Jan-son, S. Kutten, R. Molva, and M. Yung, "Systematic Design of a Family of Attack-Resistant Authentication Protocols," to appear in IEEE Journal on Selected Areas in Communications, 1993.
3. [Boyd 90] C.A. Boyd, "Hidden Assumptions in Cryptographic Protocols," Proceedings of IEE, Part E, Vol.137, No.6, November, 1990, pp.433-436.
4. [Burrows 90] M. Burrows, M. Abadi, R.M. Needham, "A Logic for Authentication," ACM Transactions on Computer Systems, Vol.8, No.1, February, 1990, pp.18-36.
5. [Dolev 83] D. Dolev and A.C. Yao, "On the Security of Public Key Protocols," IEEE Transactions on Information Theory, Vol. IT-29, No.2, March, 1983, pp.198-208.
6. [Denning 81] D.E. Denning and G.M. Sacco, "Times-tamps in Key Distribution Protocols," Communications of the ACM, Vol.24, No.8, August, 1981, pp.533-536.
7. [Dime 76] W. Diffie and M.E. Hellman, "New Directions in Cryptography," IEEE Transactions on Information Theory, Vol. IT-22, No.6, November, 1976, pp.644-654.
8. [Gong 90a] L. Gong, "Cryptographic Protocols for Distributed Systems," PhD dissertation, University of Cambridge, April, 1990.
9. [Gong 90b] L. Gong, R. Needham, and R. Yahalom, "Reasoning about Belief in Cryptographic Protocols," Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, California, May, 1990, pp.234-248.
10. [Gong 92] L. Gong, "A Security Risk of Depending on Synchronized Clocks," ACM Operating Systems Review, Vol.26, No.1, January, 1992, pp.49-53.
11. [Lam 92] K.Y. Lam and T. Beth, "Timely Authentication in Distributed Systems," Proceedings of European Symposium on Research in Computer Security, Toulouse, France, November, 1992. Published as Lecture Notes in Computer Science, Vol.648, Springer-Verlag, 1992, pp.293-303.
12. [Lamport 78] L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Communications of the ACM, Vol.21, No.7, July, 1978, pp.558-565.
13. [Lomas 89] T.M.A. Lomas, L. Gong, J.H. Saltzer, and R.M. Needham, "Reducing Risks from Poorly Chosen Keys," in Proceedings of the 12th ACM Symposium on Operating System Principles, Litchfield Park, Arizona, December, 1989. Published as ACM Operating Systems Review, Vol.23, No.5, pp.14-18.
14. [Luan 90] S.W. Luan and V.D Gligor, "On Replay Detection in Distributed Systems," in Proceedings of the 10th International Conference on Distributed Computing Systems, Paris, May, 1990, pp. 188-195.
15. [Mills 90] D.L. Mills, "On the Accuracy and Stability of Clocks Synchronized by the Network Time Protocol in the Internet System," ACM Computer Communication Review, Vol.20, No.1, January, 1990, pp.65-75.
16. [Molva92] R. Molva, G. Tsudik, E. van Her-reweghen, and S. Zatti, "KryptoKnight Authentication and Key Distribution System," Proceedings of European Symposium on Research in Computer Security, Toulouse, France, November, 1992. Published as Lecture Notes in Computer Science, Vol.648, Springer-Verlag, 1992, pp.155-174.
17. [Needham 78] 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.
18. [Needham 92] R.M. Needham, "Reasoning about Cryptographic Protocols," invited talk at the European Symposium on Research in Computer Security, Toulouse, France, November, 1992.
19. [Reiter 93a] M. Reiter, K. Birman, and R. van Renesse, "Fault-Tolerant Key Distribution," TR 93-1325, Department of Computer Science, Cornell University, Ithaca, New York, January, 1993.
20. [Reiter 93b] M. Reiter and L. Gong, "Preventing Denial and Forgery of Causal Relationships in Distributed Systems," to appear in Proceedings of the 1993 IEEE Symposium on Research in Security and Privacy, Oakland, California, May 24-26, 1993.
21. [Rivest 78] 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.
22. [Steiner 88] J.G. Steiner, C. Neuman, and J.I. Schiller, "Kerberos: An Authentication Service for Open Network Systems," in Proceedings of the USENIX Winter Conference, February, 1988, pp.191-202.
23. [Stubblebine 92] S. Stubblebine and V.D. Gligor, "On Message Integrity in Cryptographic Protocols," in Proceedings of the 1992 IEEE Symposium on Security and Privacy, Oakland, California, May, 1992, pp.85-104.
24. [Simons 90] B. Simons, J.L. Welch, and N. Lynch, "An Overview of Clock Synchronization," in B. Simons and A. Spector (Eds.), Fault-Tolerant Distributed Computing, published as Lecture Notes in Computer Science, No.448, Springer-Verlag, 1990.
25. [Tsang87] W.W. Tsang and J.W. John, "A Neglected Aspect of Digital Signatures," TR A5/87, Department of Information Systems and Computer Science, National University of Singapore, May, 1987.
26. [Voydock 83] V.L. Voydock and S.T. Kent, "Security Mechanisms in High-Level Network Protocols," Computing Surveys, Vol.15, No.2, June, 1983, pp.135-171.