Title :
Security Analysis of the Kerberos Protocol Using BAN Logic
Author :
Fan, Kai ; Li, Hui ; Wang, Yue
Author_Institution :
Minist. of Edu. Key Lab. of Comput. Network & Inf. Security, Xidian Univ., Xi´´an, China
Abstract :
Kerberos protocol is a famous identity authentication protocol and it is widely used in the network as a standard. But there is still not a strict proof of it base on the Formal method. That is very nervous for the users. So a security analysis of the Kerberos protocol using BAN logic is proposed in this paper, and the reliability, practicability and security of Kerberos protocol are proved.
Keywords :
authorisation; cryptographic protocols; formal logic; BAN logic; Kerberos protocol; formal method; identity authentication protocol; security analysis; Access control; Access protocols; Authentication; Body sensor networks; Communication system security; Cryptographic protocols; Cryptography; Information security; Internet; Logic; BAN logic; Formal analysis; Kerberos protocol;
Conference_Titel :
Information Assurance and Security, 2009. IAS '09. Fifth International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-0-7695-3744-3
DOI :
10.1109/IAS.2009.320
