A taxonomy of replay attacks [cryptographic protocols]

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1995, Pages 187-191

  Syverson, P ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; SECURITY OF DATA; SECURITY SYSTEMS;

CRYPTOGRAPHIC PROTOCOLS; ORIGIN AND DESTINATIONS; PROTOCOL ANALYSIS; REPLAY ATTACK;

TAXONOMIES;

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

References (16)

1. Michael Burrows, Martin Abadi, and Roger Needham. A Logic of Authentication. Research Report 39, Digital Systems Research Center, February 1989. Parts and versions of this material have been presented in many places including ACM Transactions on Computer Systejns, 8(1): 18-36, Feb. 1990. All references herein are to the SRC Research Report 39 as revised Feb. 22, 1990.
2. Ray Bird, Inder Gopal, Amir Herzberg, Phil Janson, Shay Kutten, Refik Molva, and Moti Yung. Systematic Design of a Family of Attack-Resistant Protocols. IEEE Journal on Selected Areas in Communication, 11(5):679-693, June 1993.
3. Pierre Bieber. A Logic of Communication in Hostile Environment. In Proc. Computer Security Foundations Workshop III, pages 14-22. IEEE Computer Society Press, Los Alamitos, California, June 1990.
4. Ulf Carlsen. Using Logics to Detect Implementation-Dependent Flaws. In Proceedings of the Ninth Annual Computer Security Applications Conference, pages 64-73. IEEE Computer Society Press, Los Alamitos, California, December 1993.
5. D. E. Denning and G. M. Sacco. Times-tamps in Key Distribution Protocols. Communications of the ACM, 24(8):533-536, August 1981.
6. Li Gong, Roger Needham, and Raphael Ya-halom. Reasoning about Belief in Cryptographic Protocols. In Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, pages 234-248. IEEE Computer Society Press, Los Alamitos, California, 1990.
7. Li Gong. Variations on the Themes of Message Freshness and Replay or, the Difficulty of Devising Formal Methods to Analyze Cryptographic Protocols. In Proceedings of the Computer Security Foundations Workshop VI, pages 131-136. IEEE Computer Society Press, Los Alamitos, California, 1993.
8. Rajashekar Kailar and Virgil D. Gligor. On Belief Evolution in Authentication Protocols. In Proceedings of the Computer Security Foundations Workshop IV, pages 103-116. IEEE Computer Society Press, Los Alamitos, California, 1991.
9. J.K. Millen, S.C. Clark, and S.B. Freedman. The INTERROGATOR: Protocol Security Analysis. IEEE Transactions on Software Engineering, SE-13(2):5-53, February 1987.
10. C. Meadows. A System for the Specification and Analysis of Key Management Protocols. In Proceedings of the 1991 IEEE Computer Society Symposium on Research in Security and Privacy, pages 182-195. IEEE Computer Society Press, Los Alamitos, California, 1991.
11. C. Meadows. Applying Formal Methods to the Analysis of a Key Management Protocol. Journal of Computer Security, 1:5-53, 1992.
12. C. Mitchell. Limitations of Challenge-Response Entity Authentication. Electronic Letters, 25(17):1195-1196, August 1989.
13. Roger M. Needham and Michael D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM, 21(12):993-999, December 1978.
14. Paul Syverson and Catherine Meadows. A Logical Language for Specifying Cryptographic Protocol Requirements. In Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pages 165-177. IEEE Computer Society Press, Los Alamitos, California, 1993.
15. Paul F. Syverson. Adding Time to a Logic of Authentication. In Proceedings of the First ACM Conference on Computer and Communications Security, pages 97-101. ACM Press, New York, November 1993.
16. Paul F. Syverson. On Key Distribution Protocols for Repeated Authentication. Operating Systems Review, 27(4):24-30, October 1993.