摘要
形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第11期147-149,共3页
Computer Engineering
