Clarifying straight replays and forced delays

Operating Systems Review (ACM)

Volumn 33, Issue 1, 1999, Pages 47-52

  Kwon, Taekyoung ^a   Song, Jooseok ^a  

^a Yonsei University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0041491608     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309829.309842     Document Type: Article

References (13)

1. P. Syverson, "A Taxonomy of Replay Attacks," 7th IEEE Comp. Security Foundations Workshop, pp.131-136, 1994
2. R. Needham, M. Schroeder, "Using Encryption For Authentication in Large Networks of Computers," Commun. ACM, Vol.21, No. 12, pp.993-999, 1978
3. R. Bird, I. Gopal, A. Herzberg, P.A. Janson, S. Kutten, R. Molva, M. Yung, "Systematic Design of a Family of Attack-Resistant Authentication Protocols," IEEE J. Select. Areas Commun., Vol.11, No.5, pp.679-693, June 1993
4. S. Luan, V. Gligor, "On Replay Detection in Distributed Systems," Internation Conference on Distributed Computing Systems, pp. 188-195, 1990
5. L. Gong, "Variations on the Themes of Message Freshness and Replay or, the Difficulty of Devising Formal Methods to Analyze Cryptographic Protocols," 6th IEEE Comp. Security Foundations Workshop, pp.131-136, 1993
6. A. Menezes, P. van Oorschot, S. Vanstone, "Handbook of Applied Cryptography," CRC Press,Inc., pp.417-418, 1997
7. P. Syverson, "Adding Time to a Logic of Authentication," ACM Conference on Comp. and Commun. Security, pp.97-101, 1993
8. L. Gong, "Efficient Network Authentication Protocols: Lower Bounds and Optimal Implementations," Distributed Computing, Vol.9, No.3, pp.131-145, 1995
9. D. Denning, G. Sacco, "Timestamps in Key Distribution Protocols,' Commun. ACM, Vol.24, No.8, pp.533-536, 1981
10. C. Meadows, "Applying Formal Methods to the Analysis of a Key Management Protocol," Journal of Comp. Security, Vol.1, No.1, pp.5-35, 1992
11. P. Syverson and P. van Oorshcot, "On Unifying Some Cryptographic Protocol Logics," Proc. IEEE Syrnp. on Research in Security and Privacy, pp.14-28, 1994
12. M. Burrows, M. Abadi, and R. Needham, "A Logic of Authentication," Tech. Report SRC TR 39, DEC, Feb. 1989
13. C. Meadows, "A System for the Specification and Analysis of Key Management Protocols," Proc. IEEE Symp. on Research in Security and Privacy, pp.182-195, 1991