BAN逻辑在协议分析中的密钥猜测分析缺陷

• 作者: 李祥 杨世平
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: BAN逻辑 认证协议 密钥猜测攻击 椭圆曲线
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 安全技术
• 页码范围: 126-127,130
• 页数: 3页
• 分类号: TP301.6
• 字数: 2963字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.09.046

摘要

BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考.但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加以解决.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
2	杨世平	贵州大学计算机软件与理论研究所	47	250	9.0	13.0