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

摘要：

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

关键词：密码协议、BAN逻辑、形式化分析

所属期刊栏目：7

分类号：TP311(计算技术、计算机技术)

在线出版日期：2011-07-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2266-2268