BAN Logic Analysis of TLS Protocol
Yingjie Ma, Xiao Li-ping · Microprocessors · 2006
Formal analysis of cryptographic protocol becomes international hot spot in researching,the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol.BAN logic is the earliest and the most important analysis method of security protocol,and it can prove the security of cryptographic protocol.In this paper we discuss BAN logic and TLS protocol,we describe a process of analysis of TLS protocol using BAN logic,it can prove that the both authentication protocol of TLS is intact.