Strategies against replay attacks

Proceedings - IEEE Computer Security Foundations Symposium

Volumn , Issue , 1997, Pages 59-68

  Aura, Tuomas ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; SECURITY SYSTEMS;

COMPUTING POWER; CRYPTOGRAPHIC FUNCTIONS; CRYPTOGRAPHIC PROTOCOLS; DESIGN PRINCIPLES; FULL INFORMATIONS; MUTUAL TRUST; PROTOCOL DESIGN; REPLAY ATTACK;

SECURITY OF DATA;

EID: 85055823270     PISSN: 19401434     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1997.596787     Document Type: Conference Paper

References (14)

1. M. Abadi and R. M. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Sofhyare Engineering, 22(1):6-15, Jan. 1996. Appeared first in Proc. 1994 IEEE CS Symposium on Research in Security and Privacy.
2. R. Anderson and R. Needham. Programming Satan's Computer, volume 1000 of LNCS, pages 426-440. Springer Verlag, 1995.
3. R. Bird, I. Gopal, A. Herzenberg, P. Janson, S. Kutten, R. Molva, and M. Yung. Systematic design of two-party authentication protocols. In Advances in Cryptography, Proceedings of CRYPTO'91, volume 576 of LNCS, pages 44-61. Springer Verlag, 1991.
4. U. Carlsen. Cryptographic protocol flaws. In Proc. IEEE Computer Security Foundations Workshop VII, pages 192-200. IEEE Computer Society Press, June 1994.
5. CCITT. Recommendation X.509, The Directory - Authentication Framework, volume VIII of CCITT Blue Book, pages 48-81. 1988.
6. W. Diffie, P. C. van Oorschot, and M. J. Wiener. Authentication and authenticated key exchanges. Designs, Codes and Cryptography, 2:107-125, 1992.
7. ETSI TC-SMG. GSM 03.20 (ETS 300 534): European digital cellular telecommunications system (Phase2); Security related networkfunctions, Sept. 1994.
8. ITU. Recommendation X.509 (11/93) - The directory: Authentication framework, Nov. 1993.
9. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. Second Intemational Workshop on Tools and Algorithms for the Construction and Analysis of Systems TACAS'96, volume 1055 of LNCS, pages 147-166. Springer Verlag, Mar. 1996.
10. W. Mao and C. A. Boyd. Development of authentication protocols: Some misconceptions and a new approach. In Proc. IEEE Computer Security Foundations Workshop VII, pages 178-186. IEEE Computer Society Press, June 1994.
11. M. Reiter and L. Gong. Preventing denial and forgery of causal relationships in distributed systems. In Proc. 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pages 30-40. IEEE Computer Society Press, May 1993.
12. P. Syverson. A taxonomy of replay attacks. In Proc. IEEE Computer Security Foundations Workshop VII, pages 131-136. IEEE Computer Society Press, June 1994.
13. T. Y. C. Woo and S. S. Lam. A lession on authentication protocol design. Operating Systems Review, 28(3):24-37, July 1994.
14. T. Ylönen. SSH transport layer protocol. Technical report, IETF Network Working Group, Sept. 1996.