Analysing security protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2629, Issue , 2003, Pages 71-80

  Gollmann, Dieter ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

DESIGN AND ANALYSIS; SECURITY PROPERTIES; SECURITY PROTOCOLS; VERIFICATION METHODOLOGY;

NETWORK SECURITY;

EID: 33744918476     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40981-6_8     Document Type: Article

References (30)

1. Martin Abadi and Roger Needham. Prudent engineering pratice for cryptographic protocols. In Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, pages 122-136, 1994.
2. Giampaolo Bella, Fabio Masacci, and Lawrence C. Paulson. Verifying the SET registration protocols. IEEE Journal on Selected Areas in Communications, 21(1):77-87, January 2003.
3. Giampaolo Bella, Fabio Masacci, Lawrence C. Paulson, and Piero Tramontano. Formal verification of cardholder registration in SET. In F. Cuppens et al., editor, Computer Security - ESORICS 2000, LNCS 1895, pages 159-174. Springer Verlag, 2000.
4. Mihir Bellare and Phillip Rogaway. Entity authentication and key distribution. In D. R. Stinson, editor, Advances in Cryptology - CRYPTO'93, LNCS 773, pages 232-249. Springer Verlag, 1994.
5. Ray Bird, I. Gopal, Amir Herzberg, Philippe A. Janson, Shay Kutten, Refik Molva, and Moti Yung. Systematic design of a family of attack-resistant authentication protocols. IEEE Journal on Selected Areas in Communications, 11(5):679-693, June 1993.
6. Ray Bird, Inder Gopal, Amir Herzberg, Phil Janson, Shay Kutten, Refik Molva, and Moti Yung. Systematic design of two-party authentication protocols. In J. Feigenbaum, editor, Advances in Cryptology - CRYPTO'91, LNCS 576, pages 44-61. Springer Verlag, 1992.
7. Mike Bond and Ross Anderson. API-level attacks on embedded systems. IEEE Computer, 34(10):67-75, October 2001.
8. Michael Burrows, Martin Abadi, and Roger Needham. Authentication: A practical study in belief and action. In M. Y. Vardi, editor, Theoretical Aspects of Reasoning About Knowledge, pages 325-342, 1988.
9. Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. DEC Systems Research Center, Report 39, revised February 22 1990.
10. Josef Courtois, Nicolas T. Pieprzyk. Cryptanalysis of block ciphers with overdefined systems of equations. In Y. Zheng, editor, Advances in Cryptology - Asiacrypt 2002, LNCS 2501, pages 267-287. Springer Verlag, 2002.
11. Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas, and Tatu Ylonen. SPKI Certificate Theory, September 1999. RFC 2693.
12. International Organisation for Standardization. Basic Reference Model for Open Systems Interconnection (OSI) Part 2: Security Architecture. Genève, Switzerland, 1989.
13. Dieter Gollmann. Authentication by correspondence. IEEE Journal on Selected Areas in Communications, 21(1):88-95, January 2003.
14. Sigrid Gürgens and Carsten Rudolph. Security analysis of (un-) fair non-repudiation protocols. In this volume.
15. Dan Harkins, Charlie Kaufman, Tero Kivinen, Stephen Kent, and Radia Perlman. Design Rationale for IKEv2, February 2002. Internet Draft, draft-ietf-ipsec-ikev2-rationale-00.txt.
16. 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.
17. D. Johnson, C. Perkins, and J. Arkko. Mobility Support in IPv6, January 2003. Internet Draft, draft-ietf-mobileip-ipv6-20.txt.
18. Charlie Kaufman. Internet Key Exchange (IKEv2) Protocol, January 2003. Internet Draft, draft-ietf-ipsec-ikev2-04.txt.
19. Richard A. Kemmerer. Aanalyzing encryption protocols using formal verification techniques. IEEE Journal on Selected Areas in Communications, 7(4):448-457, May 1989.
20. Lars R. Knudsen and Vincent Rijmen. On the decorrelated fast cipher (DFC) and its theory. In L. Knudsen, editor, Fast Software Encryption - FSE'99, LNCS 1636, pages 81-94. Springer Verlag, 1999.
21. Brian LaMacchia, Sebastian Lange, Matthew Lyons, Rudi Martin, and Kevin Price. .NET Framework Security. Addison Wesley Professional, 2002.
22. D. Longley and S. Rigby. An automatic search for security flaws in key management schemes. Computers & Security, 11(1):75-89, March 1992.
23. Silja Mäki and Tuomas Aura. Towards a survivable security architecture for ad-hoc networks. In B. Christiansen et al., editor, Security Protocols, 9th International Workshop, Cambridge, LNCS 2467, pages 63-73. Springer Verlag, 2002.
24. Silja Mäki, Tuomas Aura, and Maarit Hietalahti. Robust membership management for ad-hoc groups. In Proceedings of the 5th Nordic Workshop on Secure IT Systems (NORDSEC 2000), 2000.
25. A. J. Menezes, P.C. van Oorschot, and S.A. Vanstone. Handbook of Applied Cryptography. CRC Press, Boca Raton, FA, 1997.
26. Roger Needham. Keynote address: The changing environment (transcript of discussion). In B. Christiansen et al., editor, Security Protocols, 7th International Workshop, Cambridge, LNCS 1796, pages 1-5. Springer Verlag, 2000.
27. Lawrence C. Paulson. Inductive analysis of the internet protocol TLS. ACM Transactions on Information and System Security, 2(3):332-351, August 1999.
28. Marvin Schaefer. Symbol security condition considered harmful. In Proceedings of the 1989 IEEE Symposium on Security and Privacy, pages 20-46, 1989.
29. Serge Vaudenay. Provable security for block ciphers by decorrelation. In STACS'98, LNCS 1373, pages 249-275. Springer Verlag, 1998.
30. 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.