BAN逻辑在一类中间入侵攻击协议分析中的缺陷

• 作者: 李祥 杨世平
• 来源期刊: 计算机应用研究
• 关键词: BAN逻辑 密钥协商协议 中间入侵 棣弗-赫尔曼
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 信息安全
• 页码范围: 149-151
• 页数: 3页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.03.044

摘要

BAN逻辑通过对密钥协商协议的运行进行形式化分析,研究密钥协商双方通过相互接收和发送消息从最初的信仰逐渐发展到协议最终要达到的目的,证明协议是否能够达到预期目标,以此发现协议中存在的一些缺陷.通过一个端到端协议例子的证明和分析,指出BAN逻辑对于一类密钥协商协议中存在的中间入侵攻击分析方面存在缺陷,还需要结合非形式化的分析方法来加以解决.

作者信息

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