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

摘要：

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

关键词：BAN逻辑、认证协议、密钥猜测攻击、椭圆曲线

所属期刊栏目：32

分类号：TP301.6(计算技术、计算机技术)

资助基金：the Foundation of Ministry of Education200326

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

页数：共3页

页码：126-127,130