On the verification of cryptographic protocols: A tale of two committees

Electronic Notes in Theoretical Computer Science

Volumn 32, Issue , 2000, Pages 42-58

  Gollmann, Dieter ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; CRYPTOGRAPHY; DATA TRANSFER; DEMODULATION; ELECTRONIC COMMERCE; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; PROBLEM SOLVING; PROGRAM INTERPRETERS; ROBUSTNESS (CONTROL SYSTEMS);

CRYPTOGRAPHIC PROTOCOLS; ENTITY AUTHENTICATION; PROTOCOL ANALYSIS; ROBUST AUTHENTICATION PROTOCOLS;

NETWORK PROTOCOLS;

EID: 19144370194     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00094-5     Document Type: Conference Paper

References (24)

1. Mihir Bellare and Phillip Rogaway. Entity authentication and key distribution. In Advances in Cryptology - CRYPTO'93, LNCS 773, PAGES 232-249. Springer Verlag, 1994.
2. Bird Ray, Gopal I., Herzberg Amir, Janson Philippe A., Kutten Shay, Molva Refik, Yung Moti. Systematic design of a family of attack-resistant authentication protocols. IEEE Journal on Selected Areas in Communications. 11:(5):June 1993;679-693
3. Bird Ray, Gopal Inder, Herzberg amir, Janson Phil, Kutten shay, Molva Refik, Yung Moti. Systematic design of two-party authentication protocols. Advances in Cryptology - CRYPTO'91, LNCS 576. 1992;44-61 Springer Verlag
4. Diffie Whitfield, Paul van Oorschot C., Michael Wiener J. Authentication and authenticated key exchanges. Designs, Codes, Codes and Cryptography. 2:1992;107-125
5. International Organisation for Standardization. Basic Reference Model for Open Systems Interconnection (OSI) Part 2: SECURITY Architecture. Genève, Switzerland, 1988.
6. Gollmann Dieter. Proving authentication protocols - what do authentication protocols prove? Mitchell C.J., Stavridou V. Mathematics of Dependable systems. 1995;95-102 Clarendon Press
7. Dieter Gollmann. Insider fraud. In Proceedings of the Cambridge Security Protocols Workshop, B. Christiansen et al. (eds.), LNCS 1550, pages 213-219. Springer Verlag, 1999.
8. International Organization for Standardizaaaation. Information technology - Security techniques - Entity authentication mechanisms; Part 1: General model. Genéve, Switzerland, September 1991. ISO/IEC 9798-1, Second Edition.
9. International Organization for Standardization. Information technology - Security techniques - Entity quthentication. Information technology - Security techniques - Entity authentication mechjanisms; Part 3: Entity authentication mechanisms using a public key algorithm. Geneve, Switzerland, March 1991/IEC JTC1/SC27/WG2 N51.
10. International Organization for Standardization. Information technology - Security techniques - Summary of uoting on Letter Ballot No.6, document SC27 N277, CD 9798-3.3 "Entity authentication mechanisms; Part 3: Entity authentication mechanisms using a public key algorithm". Genève, Switzerland, October 1991. ISO/IEC JTC1/SC27 N313.
11. International Organization for Standardization. Information technology - Security techniques - Entity authentication mechanisms; Part 3: Entity authentication mechanisms using a public key algorithm. Genéve, Switzerland, August 1993. ISO/IEC 9798-3.
12. Lampson Butler, Abadi Martín, Burrows Michael, Wobber Edward. Authentication in distributed systems; Theory and practice. ACM Transactions on Computer Systems. 10:(4):November 1992;265-310
13. Lowe Gavin. An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters. 56:(3):1995;131-133
14. Gavin Lowe. Breaking and fixing the Needham - Schroeder public-key protocol using FDR. In Proceedings of TACAS, LNCS 1055, pages 147-166. Springer Verlag, 1996.
15. Givin Lowe. Some new attacks upon security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 162-169, 1996.
16. Givin Lowe. A hierarchy of authentication specifications. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, pages 31-43, 1997.
17. Catherine A. Meadows. Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches. In Proceedings ESORICS'96, E. Bertino et al. (eds), LNCS 1146, pages 351-364. Springer Verlag, 1996.
18. Catherine A. Meadows. Analysis of the internet key exchange protocol using the NRL protocol analyzer. In Proceedings of the 1999 IEEE Symposium on Security and Privacy, pages 216-231, 1999.
19. Mitchell Christopher J., Thomas Andrew. Standardising authentication protocols based on public key techniques. Journal of Computer Seurity. 2:1993;23-36
20. Needham Roger M., Schroeder Michael D. Using encryption for authentication in large network of computer. Communications of the ACM. 21:1978;993
21. A. W. Roscoe. Intensional specifications of security protocols. In Proceedings of the 9th IEEE Computer Security Foundations Workshop, pages 28-38, 1996.
22. Steve Schneider. Verifyinhg authentication protocols with CSP. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, pages 3-17, 1997.
23. F. Javier Thayer Fábrega, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998 IEEE Symposium on Security and Privacy, pages 160-171, 1998.
24. Thomas Y. C. Woo and Simon S. Lam. A semantic model for authentication protocols. In Proceedings of the 1993 IEEE Symposium on Research in Security and Privacy, pages 178-194, 1993.