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

被引：5

作者：

杨世平

李祥

机构：

[1] 贵州大学计算机软件与理论研究所

来源：

关键词：

BAN逻辑; 认证协议; 密钥猜测攻击; 椭圆曲线;

D O I：

暂无

中图分类号：

TN918.6 [保密通信:按结构原理分];

学科分类号：

0839 ; 1402 ;

摘要：

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

引用

页码：126 / 127+130 +130

页数：3