A formal analysis of ome properties of kerberos 5 using MSR

Proceedings of the Computer Security Foundations Workshop

Volumn 2002-January, Issue , 2002, Pages 175-190

  Butler, F ^a   Cervesato, I ^b   Jaggard, A D ^a   Scedrov, A ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b ITT INDUSTRIES   (United States)

Author keywords

Authentication; Computer security; Conferences; Contracts; Cryptography; Mathematics; Protocols; Research initiatives; Testing

Indexed keywords

CONTRACTS; CRYPTOGRAPHY; MATHEMATICAL TECHNIQUES; NETWORK PROTOCOLS; SECURITY OF DATA; SECURITY SYSTEMS; SPECIFICATIONS; TESTING;

AUTHENTICATION PROTOCOLS; CONFERENCES; FORMAL ANALYSIS; INTRICATE STRUCTURES; LEVELS OF DETAIL; PROTOCOL SPECIFICATIONS; RESEARCH INITIATIVES; SEVERAL PROTOCOLS;

AUTHENTICATION;

EID: 84948759231     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2002.1021815     Document Type: Conference Paper

References (12)

1. G. Bella, Inductive Verification of Cryptographic Protocols, Ph.D. thesis, University of Cambridge, March 2000.
2. G. Bella and L. C. Paulson, Using Isabelle to Prove Properties of the Kerberos Authentication System, Proc. of DIMACS'97, Workshop on Design and Formal Verification of Security Protocols (CD-ROM) (H. Orman and C. Meadows, eds.), 1997.
3. -,Kerberos Version IV: Inductive Analysis of the Secrecy Goals, Proc. of ESORICS '98, Fifth European Symposium on Research in Computer Science, Lecture Notes in Computer Science, no. 1485, Springer-Verlag, 1998, pp. 361-375.
4. -,Mechanising BAN Kerberos by the Inductive Method, Proc. of CAV98 - Tenth International Conference on Computer Aided Verification, 1998.
5. G. Bella and E. Riccobene, Formal Analysis of the Kerberos Authentication System, J. Universal Comp. Sci. 3 (1997), no. 12, 1337-1381.
6. I. Cervesato, Typed MSR: Syntax and Examples, Proc. of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security - MMM'01, Springer-Verlag, 2001, St. Petersburg, Russia, 21-23 May 2001.
7. I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov, A Meta-notation for Protocol Analysis, Proc. of the Twelfth IEEE Computer Security Foundations Workshop, 1999, pp. 55-69.
8. J. Kohl and C. Neuman, The Kerberos Network Authentication Service (V5), September 1993.
9. J. C. Mitchell, M. Mitchell, and U. Stern, Automated Analysis of Cryptographic Protocols Using Murφ, Proc. of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press, 1997, pp. 141-153.
10. C. Neuman, J. Kohl, T. Ts'o, K. Raeburn, and T. Yu, The Kerberos Network Authentication Service (V5), November 20 2001.
11. S. Schneider, Verifying Authentication Protocols in CSP, IEEE Transactions on Software Engineering 24 (1998), no. 9, 741-758.
12. T. Y. C. Woo and S. S. Lam, A Semantic Model for Authentication Protocols, Proc. of the IEEE Symposium on Security and Privacy, 1993, pp. 178-194.