Authentication by correspondence

IEEE Journal on Selected Areas in Communications

Volumn 21, Issue 1, 2003, Pages 88-95

  Gollmann, Dieter ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Correspondence properties; Entity authentication; Protocol verification

Indexed keywords

CRYPTOGRAPHY; DATA COMMUNICATION SYSTEMS; DATA TRANSFER; FORMAL LOGIC; INFORMATION TECHNOLOGY; NETWORK PROTOCOLS;

AUTHENTICATION PROTOCOLS; COMMUNICATING SEQUENTIAL PROCESSES; ENTITY AUTHENTICATION; PROTOCOL VERIFICATION;

SECURITY OF DATA;

EID: 0037252920     PISSN: 07338716     EISSN: None     Source Type: Journal    
DOI: 10.1109/JSAC.2002.806132     Document Type: Article

References (25)

1. M. Abadi and R. Needham, "Prudent engineering pratice for cryptographic protocols," in Proc. IEEE Symp. Research Security Privacy, 1994, pp. 122-136.
2. M. Bellare and P. Rogaway, "Entity authentication and key distribution," in Proc. Advances Cryptology, vol. 773, LNCS, D. R. Stinson, Ed., 1994, pp. 232-249.
3. R. Bird, I. Gopal, A. Herzberg, P. A. Janson, S. Kutten, R. Molva, and M. Yung, "Systematic design of a family of attack-resistant authentication protocols," IEEE J. Select. Areas Commun., vol. 11, pp. 679-693, June 1993.
4. R. Bird, I. Gopal, A. Herzberg, P. Janson, S. Kutten, R. Molva, and M. Yung, "Systematic design of two-party authentication protocols," in Proc. Advances Cryptology, vol. 576, LNCS, J. Feigenbaum, Ed., 1992, pp. 44-61.
5. S. Blake-Wilson, D. Johnson, and A. Menezes, "Key agreement protocols and their security analysis," in Proc. 6th IMA Int. Conf. Cryptography Coding, vol. 1355, LNCS, 1997, pp. 30-45.
6. W. Diffie, P. C. van Oorschot, and M. J. Wiener, "Authentication and authenticated key exchanges," Designs, Codes Cryptography, vol. 2, pp. 107-125, 1992.
7. "Basic Reference model for open systems interconnection (OSI) Part 2: Security architecture," Int. Org. Standardization, Genève, Switzerland, 1989.
8. D. Gollmann, "What do we mean by entity authentication?," in Proc. IEEE Symp. Security Privacy, 1996, pp. 46-54.
9. A. Gordon and A. Jeffrey, "Authenticity by typing for security protocols," in Proc. 14th IEEE Computer Security Foundations Workshop, 2001, pp. 145-159.
10. J. D. Guttman and F. J. T. Fábrega, "Authentication tests," in Proc. IEEE Symp. Security Privacy, 2000, pp. 96-109.
11. D. Harkins, C. Kaufman, S. Kent, T. Kivinen, and R. Perlman, "Proposal for the IKEv2 Protocol," IETF, draft-ietf-ipsec-ikev2-02.txt, 2002.
12. "Information Technology-Security Techniques-Entity Authentication Mechanisms; Part 1: General Model," Int. Org. Standardization, Genève, Switzerland, Tech. Rep. ISO/IEC 9798-1, 2nd ed., 1991.
13. "Information Technology - Open Systems Interconnection - The Directory-Authentication Framework," Int. Org. Standardization, Genève, Switzerland, Tech. Rep. ISO/IEC 9594-8-ITU-T Rec X.509 (1997 E), 1997.
14. G. Lowe, "An attack on the Needham-Schroeder public-key authentication protocol," Inform. Processing Lett., vol. 56, pp. 131-133, 1995.
15. ____, "Breaking and fixing the Needham-Schroeder public-key protocol using FDR," in Proc. TACAS, vol. 1055, LNCS, B. Steffen and T. Margaria, Eds., 1996, pp. 147-166.
16. ____, "A hierarchy of authentication specifications," in Proc. 10th IEEE Computer Security Foundations Workshop, 1997, pp. 31-43.
17. A. J. Menezes, P. C. van Oorschot, and S. A. Vanstone, Handbook of Applied Cryptography. Boca Raton, FL: CRC, 1997.
18. R. M. Needham and M. D. Schroeder, "Using encryption for authentication in large networks of computers," Commun. ACM, vol. 21, pp. 993-999, 1978.
19. A. W. Roscoe, "Intensional specifications of security protocols," in Proc. 9th IEEE Computer Security Foundations Workshop, 1996, pp. 28-38.
20. S. Schneider, "Security properties and CSP," in Proc. 1996 IEEE Symp. Security and Privacy, 1996, pp. 174-187.
21. ____, "Verifying authentication protocols with CSP," in Proc. 10th IEEE Computer Security Foundations Workshop, 1997, pp. 3-17.
22. ____, "Verifying authentication protocols in CSP," IEEE Trans. Softw. Eng., vol. 24, pp. 741-758, Sept. 1998.
23. E. Snekkenes, "Roles in cryptographic protocols," in Proc. IEEE Symp. Research Security Privacy, 1992, pp. 105-119.
24. F. J. T. Fábrega, J. C. Herzog, and J. D. Guttman, "Strand spaces: Why is a security protocol correct?," in Proc. IEEE Symp. Security Privacy, 1998, pp. 160-171.
25. T. Y. C. Woo and S. S. Lam, "A semantic model for authentication protocols," in Proc. IEEE Symp. Research Security Privacy, 1993, pp. 178-194.