收藏本站
《计算机科学》 2005年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

IKE2协议的安全性分析

沈海峰  薛锐  黄河燕  
【摘要】:本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性。通过分析,证明了IKE2协议的密钥交换和认证安全性,但同时发现它不能在主动攻击模式下保护发起者身份,对此我们提出了一个修改意见。对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。

【引证文献】
中国期刊全文数据库 前5条
1 朱晓薇;周海刚;刘军;;针对中间人攻击的IKEv2形式化分析与改进[J];计算机工程与应用;2012年02期
2 韩明奎;潘进;李波;;一种改进的IKEv2协议及其形式化验证[J];计算机应用研究;2010年02期
3 赵华峰;;中间人攻击下增强身份保护的IKEv2改进[J];科学技术与工程;2008年10期
4 赵娟;韩继红;王亚弟;黄卿;;大型复杂协议的形式化分析方法研究[J];计算机工程与设计;2009年18期
5 姜华林;李立新;黄平;李志鹏;;有效防御DDoS攻击的密钥交换协议的设计研究[J];西南师范大学学报(自然科学版);2009年02期
中国博士学位论文全文数据库 前1条
1 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前4条
1 章春宇;IKE/IKEv2的安全性分析及实现[D];河海大学;2007年
2 权乐;IKEv2协议安全机制的研究和实现[D];解放军信息工程大学;2007年
3 姜华林;防御DDoS攻击的新型密钥交换协议研究[D];西南大学;2009年
4 赵娟;基于逻辑的复合协议形式化分析方法研究[D];解放军信息工程大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 胡爱群;无线通信网络的安全问题及对策[J];电信科学;2003年12期
2 曹玥,李晖,吕东亚;基于DDoS的TCP SYN攻击与防范[J];电子科技;2004年02期
3 李超;董荣胜;郭云川;;针对协议组合问题的Athena方法扩展[J];桂林电子科技大学学报;2007年04期
4 ;Formal Verification of the Merchant Registration Phase of the SET Protocol[J];International Journal of Automation and Computing;2005年02期
5 苏开乐,吕关锋,陈清亮;基于知识结构的认证协议验证[J];中国科学E辑:信息科学;2005年04期
6 王刚;温涛;郭权;马学彬;;移动自组网中安全高效的组密钥管理方案[J];计算机研究与发展;2010年05期
7 陈波,于泠;DoS攻击原理与对策的进一步研究[J];计算机工程与应用;2001年10期
8 韩秀玲,王行愚;IPsec中密钥交换协议认证过程的研究及协议的改进[J];计算机工程与应用;2002年18期
9 卫剑钒,唐礼勇,陈钟;IKE协议两种身份保护缺陷的改进[J];计算机工程与应用;2004年26期
10 常亮,古天龙,郭云川;互联网密钥交换协议的SMV分析[J];计算机工程与应用;2005年19期
中国博士学位论文全文数据库 前3条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 付才;移动自组网路由安全研究[D];华中科技大学;2007年
3 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
中国硕士学位论文全文数据库 前9条
1 王文煜;IKE协议研究与实现[D];电子科技大学;2003年
2 刘海静;IKEv2的实现及形式语言逻辑分析[D];西安电子科技大学;2004年
3 刘雅林;抗Dos攻击模型研究[D];重庆大学;2004年
4 陈文贵;IKE协议分析与实现[D];西南交通大学;2005年
5 严新;基于IPSec的IKE协议分析与改进[D];华中科技大学;2005年
6 杜春燕;基于PKI/ECC的IKEv2协议研究与实现[D];苏州大学;2006年
7 章春宇;IKE/IKEv2的安全性分析及实现[D];河海大学;2007年
8 李铮;SYNFlood型DDoS攻击检测与防御研究[D];电子科技大学;2007年
9 陈建辉;认证协议抵御DoS攻击研究及协议改进安全方案的实现[D];南京航空航天大学;2007年
【二级引证文献】
中国期刊全文数据库 前5条
1 邓柳;汤凯;乐康;;ML-IKEv2:一种多层IPSec协议中的密钥交换协议[J];电脑知识与技术;2010年28期
2 朱晓薇;周海刚;刘军;;针对中间人攻击的IKEv2形式化分析与改进[J];计算机工程与应用;2012年02期
3 莫天庆;张龙军;赵李懿;;一种基于签密的改进IKEv2协议[J];计算机应用研究;2011年12期
4 潘进;刘小琼;李国朋;;无双线性对的无证书两方认证密钥协商协议[J];计算机应用研究;2012年06期
5 朱鹏;张智斌;黄昱泽;;工业网络中非标准VPN的安全技术研究[J];郑州轻工业学院学报(自然科学版);2012年06期
中国硕士学位论文全文数据库 前6条
1 林涛;基于IPv6网络的节点安全传输机制研究[D];哈尔滨工程大学;2011年
2 林忠杰;TD-SCDMA Femto基站鉴权与加密过程的研究与实现[D];华南理工大学;2011年
3 姜华林;防御DDoS攻击的新型密钥交换协议研究[D];西南大学;2009年
4 梁建业;基于Linux的IPv6 VPN设计与实现[D];电子科技大学;2009年
5 蒋家棠;应用IPSec的软交换网络安全性研究[D];北京邮电大学;2010年
6 张玮;防火墙中IPSEC VPN模块的设计与实现[D];北京邮电大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 沈海峰;薛锐;黄河燕;陈肇雄;;JFK协议的安全性分析[J];小型微型计算机系统;2005年10期
2 王英龙,王继志,王美琴,高振明;基于串空间的移动自组网路由协议安全性分析[J];计算机工程与应用;2005年31期
3 赵晓明;孟庆超;刘军;;基于SVO逻辑的X.509协议安全性分析[J];军事通信技术;2007年03期
4 廖振岚;吴开贵;谢琪;代廷合;;一个双向认证协议的分析与改进[J];计算机科学;2009年02期
5 杨杰;;基于串空间理论的kerberos协议的安全性分析[J];电脑编程技巧与维护;2010年04期
6 龙士工;罗文俊;彭长根;李祥;;模态逻辑与带变量串空间相结合的协议分析[J];计算机工程;2007年13期
7 李印清;陈建辉;郭秋萍;;防御拒绝服务攻击的身份认证方案[J];太原理工大学学报;2008年02期
8 陈春玲;田国良;;安全协议的SPIN建模与分析[J];南京航空航天大学学报;2009年05期
9 马晓宁;李明楚;;一种改进的安全协议形式化需求语言[J];电子技术应用;2006年03期
10 周清雷;赵琳;赵东明;;基于串空间模型的Andrew RPC协议的分析与验证[J];计算机工程与应用;2007年13期
中国重要会议论文全文数据库 前10条
1 岳磊;叶震;宋卫卫;;一种基于参考状态的移动代理静态路由协议[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
2 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
4 姜正涛;郝艳华;王育民;;对一种公钥概率加密体制的效率改进[A];第十九次全国计算机安全学术交流会论文集[C];2004年
5 韩银全;滕文彦;周向阳;崔春霞;;既有隧道安全性分析与加固技术[A];第二届湖北省力学学会青年学术研讨会论文集[C];2006年
6 罗榕;刘凌;司洋;方嘉佳;徐鸿儒;赵丽莉;安冬梅;慕洁;;拉莫三嗪治疗癫痫的疗效及安全性分析[A];中华医学会第十三次全国神经病学学术会议论文汇编[C];2010年
7 孔建民;;球形容器建造全面质量控制及安全性分析[A];第四届全国压力容器学术会议论文集[C];1997年
8 李敏;;大型天然气球形容器长期运行的安全性分析[A];第四届全国压力容器学术会议论文集[C];1997年
9 范涛;鲍先巡;吴传华;常劲松;彭代银;;桑资源饮品的研究——灵芝桑茶的理化品质与安全性分析[A];中国蚕学会第七次全国代表大会论文集[C];2003年
10 陈文兵;;宫颈癌介入治疗后手术的安全性分析[A];中华医学会第九次全国妇科肿瘤学术会议论文汇编[C];2006年
中国重要报纸全文数据库 前10条
1 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
2 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
3 蒋文峰;固安网改 无安全协议不开工[N];华北电力报;2000年
4 潘家永;所谓春游“安全协议”是学校的免责利器吗[N];中国教育报;2003年
5 林颖;欧盟最高法院一位资深人士向欧美航空安全协议“叫板”[N];人民法院报;2005年
6 通讯员 苗红俊;安全协议书让安全更有保证[N];人民铁道;2008年
7 许忠通讯员 王滢;吐哈指挥部实现安全协议全覆盖[N];中国石油报;2007年
8 潘家永;春游“安全协议”是学校的尚方宝剑吗[N];法制日报;2004年
9 陈南辉肖曙光;瑞金站公安派出所与村民签订安全协议书[N];人民铁道;2007年
10 驻京记者 王丹;中美合作重点:药品和医械进出口监管[N];医药经济报;2007年
中国博士学位论文全文数据库 前10条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
3 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
4 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
5 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
6 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
7 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
8 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
9 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 袁鑫;因特网密钥交换协议安全性分析[D];西南交通大学;2003年
2 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
3 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
4 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
5 张星磊;基于椭圆曲线离散对数难题的RFID安全协议设计与分析[D];上海交通大学;2011年
6 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
7 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
8 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
9 薛雨杨;无线局域网安全标准的安全性分析与检测[D];中国科学技术大学;2009年
10 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026