BAN逻辑及其在协议认证中的缺陷

• 作者: 尚华 赵亮
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 密码协议 BAN逻辑:形式化分析
• 年，卷（期）: 2011,（4）
• 页码范围: 2266-2268
• 页数: 3页
• 分类号: TP311

摘要

BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷。论文在分析了BAN逻辑的主要规则和分析步骤之后，着重研究了BAN逻辑存在的各类缺陷，并对BAN类逻辑需要改进的方面进行了讨论。