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协议的双方认证协议是完整的、没有漏洞的。