首页> 中文期刊> 《计算机工程》 >BAN逻辑在协议分析中的密钥猜测分析缺陷

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2006年第9期|126-127130|共3页
作者
杨世平; 李祥;
展开▼
作者单位

贵州大学计算机软件与理论研究所;

贵阳;

550025;

贵州大学计算机软件与理论研究所;

贵阳;

550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
BAN逻辑; 认证协议; 密钥猜测攻击; 椭圆曲线;

相似文献

中文文献
外文文献
专利

1. BAN逻辑在一类中间入侵攻击协议分析中的缺陷 [J] . 杨世平 ,李祥 . 计算机应用研究 . 2007,第003期
2. 密码协议分析工具—BAN逻辑及其缺陷 [J] . 张玉清 ,李继红 . 西安电子科技大学学报 . 1999,第003期
3. BAN逻辑在形式化协议分析中的应用 [J] . 金葆华 . 黑龙江科技信息 . 2009,第028期
4. BAN逻辑及其在协议认证中的缺陷 [J] . 尚华 ,赵亮 . 电脑知识与技术 . 2011,第010期
5. 类BAN逻辑缺陷的进一步分析 [J] . 库恒 . 科技信息 . 2012,第018期
6. 两个eCK模型下可证安全的密钥交换协议分析 [C] . 程庆丰 ,马传贵 ,胡学先 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. WiMAX安全研究——密钥管理协议分析与优化 [A] . 王海宁 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号