Security analysis of the kerberos protocol using BAN logic

5th International Conference on Information Assurance and Security, IAS 2009

Volumn 2, Issue , 2009, Pages 467-470

  Fan, Kai ^a   Li, Hui ^a   Wang, Yue ^b  

^a XIDIAN UNIVERSITY   (China)

^b Xi'an Branch of Shaanxi Telecom Ltd   (China)

Author keywords

BAN logic; Formal analysis; Kerberos protocol

Indexed keywords

BAN LOGIC; FORMAL ANALYSIS; IDENTITY AUTHENTICATION PROTOCOL; KERBEROS PROTOCOL; SECURITY ANALYSIS;

FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; NETWORK PROTOCOLS; RELIABILITY ANALYSIS; SECURITY SYSTEMS;

NETWORK SECURITY;

EID: 74049152238     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAS.2009.320     Document Type: Conference Paper

References (6)

1. D. Dolev and A. C. Yao, "On the Security of Public Key Protocols," IEEE Trans. Information Theory, 29(2): 198-208, 1983.
2. M. Burrows, M. Abadi, and R. Needham, "A Logic of Authentication," ACM Trans. Computer Systems, 8(1): 18-36, 1990.
3. NEUMAN C. RFC 1510, The Kerberos Network Authentication Service (V5).1993.
4. STEINER G. Kerberos, "an authentication service for open network system", Proceedings of the Winter 1988 Usenix Conference.1988.
5. PF. Syverson and PC.Oorschot, "On unifying some cryptographic protocol logics", Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy. Los Alamitos: IEEE Computer Society Press. pp. 14-28. 1994.
6. S. Kungpisdan, B. Srinivasan, PD. Le, "Accountbility Logic for Mobile Payment Protocols", Proceedings of the International Conference on Information Technology. Los Vegas: IEEE Computer Society Press. pp.40-44. 2004.