摘要： 形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。

关键词: 形式化分析密码协议, BAN逻辑, SSL3.0协议

Abstract: More and more formal analysis of cryptographic protocol become a new direction of cryptograph , as formal methods can be useful to detect errors in security protocols. BAN logic has been by far the most widely used. In this paper we discuss BAN logic and the SSL3.0 protocol. And we discrible a process of analysis of SSL3.0 protocol using BAN logic.

中图分类号: 

• TP393.08