Security Analysis of the Kerberos protocol using BAN logic

摘要：

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.

关键词： Kerberos protocol Formal analysis BAN logic

作者: Kai Fan Hui Li Yue Wang

作者单位: Ministry of Edu.Key Lab.of Computer Network and Information Security Xidian University Xian,Shaanxi Xian Branch of Shaanxi Telecom Ltd.Xian,Shaanxi,China

会议类型: 国际会议

会议名称: The Fifth International Conference on Information Assurance and Security(第五届信息保障与安全国际会议)

会议地点: 西安

会议语种:英文

页码: 467-470

在线出版日期: 2009-08-18（万方平台首次上网日期，不代表论文的发表时间）