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.

• 文章介绍了BAN逻辑和TLS协议,用BAN逻辑分析TLS协议,从而证明TLS协议的双方认证协议是完整的、没有漏洞的。