收藏本站
《2009全国计算机网络与通信学术会议论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

Needham-Schroeder共享密钥协议的改进

缪祥华  
【摘要】:本文研究了Needham-Schroeder共享密钥协议。指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroede r对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,但是仍然不令人满意。针对原始协议存在的缺陷和漏洞,我们进行了相应的修改,并用BAN逻辑来分析了修改后的协议。说明修改后的协议能够达到协议的目标。

【相似文献】
中国期刊全文数据库 前10条
1 缪祥华;何大可;;Needham-Schroeder私钥协议的改进[J];计算机工程;2006年17期
2 石曙东;一种安全协议的形式化验证方法[J];湖北师范学院学报(自然科学版);2004年01期
3 张玉清,吴建平,李星;BAN类逻辑的由来与发展[J];清华大学学报(自然科学版);2002年01期
4 贾国梁 ,杨树堂 ,诸鸿文 ,李谢华;BAN逻辑与串空间相结合的安全协议分析方法[J];信息安全与通信保密;2005年03期
5 田建波,王育民;认证协议的形式分析——BAN逻辑[J];信息安全与通信保密;1998年04期
6 杨世平;李祥;;BAN逻辑在协议分析中的密钥猜测分析缺陷[J];计算机工程;2006年09期
7 张爱新,杨明福,李生红,李建华;一种认证安全性的分析与设计逻辑[J];上海交通大学学报;2004年S1期
8 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[J];微处理机;2006年01期
9 杨世平;李祥;;BAN逻辑在一类中间入侵攻击协议分析中的缺陷[J];计算机应用研究;2007年03期
10 白跃彬,郑守淇,刘轶,朱利;一种认证方案的形式分析[J];西安交通大学学报;2001年04期
中国重要会议论文全文数据库 前10条
1 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 缪祥华;;Needham-Schroeder共享密钥协议的改进[A];2009全国计算机网络与通信学术会议论文集[C];2009年
3 党继胜;汪学明;;制约逻辑与BAN逻辑结合的研究[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
4 郭继如;;科来协议分析系统在开滦计算机网络中的试用效果分析研究[A];创新·融合·发展——创新型煤炭企业发展与信息化高峰论坛论文集[C];2010年
5 盛思源;于广浚;李玮;;基于协议分析的智能入侵检测系统[A];网络安全技术的开发应用学术会议论文集[C];2002年
6 盛思源;战守义;毛剑;;入侵检测系统中的协议分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年
7 徐光亮;郁滨;;蓝牙简单配对协议分析与安全增强设计[A];全国第22届计算机技术与应用学术会议(CACIS·2011)暨全国第3届安全关键技术与应用(SCA·2011)学术会议论文摘要集[C];2011年
8 雒群;刘秋实;;数据库通信协议分析与安全检测[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
9 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
10 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
中国重要报纸全文数据库 前10条
1 应向荣;协议分析技术 承载IDS的希望[N];中国计算机报;2002年
2 四川大学电子信息学院 吴少华 方勇 冉逾;新视点: 基于协议分析的防火墙[N];计算机世界;2002年
3 钟力 姚兰 粱中骐;掌握安全主动权[N];网络世界;2002年
4 北京中创信测科技股份有限公司;中创信测:护航3G网络打造测试品牌[N];通信产业报;2006年
5 王尊义, 卢湖川;基于应用层协议进行邮件监听[N];计算机世界;2005年
6 钟力 姚兰 梁中骐;抓住罪恶之“手”[N];网络世界;2004年
7 张常伟  尤忠海;张宇翔:痴迷电脑病毒的“狂人”[N];科技日报;2008年
8 陈;全网故障均可测[N];中国计算机报;2003年
9 安徽人行科技处 李鹰;人行率先用上NP架构[N];中国计算机报;2005年
10 ;寻找理想伙伴 找合适IDS[N];中国计算机报;2002年
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
3 于志宏;视频安全与网络安全若干问题研究[D];吉林大学;2009年
4 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
6 陈伟;通信网内容安全集成系统研究[D];北京邮电大学;2006年
7 孙钢;基于SVM的入侵检测系统研究[D];北京邮电大学;2007年
8 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
9 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
10 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 胡宝刚;基于协议分析的入侵检测系统的设计实现[D];山东大学;2005年
2 侯方明;无线网络中入侵检测系统的研究与设计[D];山东大学;2005年
3 赵刚;高速网络环境下的网络入侵检测系统设计[D];哈尔滨理工大学;2005年
4 王星魁;网络连接记录特征属性优化[D];太原理工大学;2005年
5 张国权;基于模式匹配和协议分析的NIDS研究和设计[D];大连理工大学;2006年
6 朱海霞;基于协议分析的入侵检测系统的研究与实现[D];大连海事大学;2006年
7 刘少君;基于协议分析的网络入侵检测系统研究与设计[D];河海大学;2006年
8 刘艳昌;基于协议分析的网络入侵检测技术研究[D];西安建筑科技大学;2006年
9 朱建辉;计算机动态取证系统[D];吉林大学;2009年
10 张雷;基于模式匹配的网络入侵检测系统研究[D];西南交通大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026