10.3969/j.issn.1000-3428.2001.11.059
用BAN逻辑方法分析SSL 3.0协议
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞.BAN逻辑是目前使用最广泛的.文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL30协议的洋细过程.
形式化分析密码协议、BAN逻辑、SSL3.0协议
27
TP309(计算技术、计算机技术)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
147-149