用BAN逻辑方法分析SSL 3.0协议

• 作者: 王惠芳 郭金庚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化分析密码协议 BAN逻辑 SSL3.0协议
• 年，卷（期）: 2001,（11）
• 页码范围: 147-149
• 页数: 3页
• 分类号: TP309
• 字数: 3499字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2001.11.059

摘要

形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞.BAN逻辑是目前使用最广泛的.文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL30协议的洋细过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭金庚	信息工程大学信息安全学院	19	153	9.0	12.0
2	王惠芳	信息工程大学信息安全学院	8	105	5.0	8.0