收藏本站
《西安电子科技大学学报》 2008年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

可证明安全的MANET按需距离矢量路由协议分析

毛立强  马建峰  
【摘要】:基于模拟证明方法,Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型,并利用该模型证明了ARAN协议的安全性.对该模型进行了深入分析,指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性,以及ARAN协议安全性证明过程中的错误,并给出了一种针对ARAN协议的攻击方法,表明该协议即使在其分析模型下仍然存在安全漏洞.

【引证文献】
中国期刊全文数据库 前4条
1 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
2 闫丽丽;彭代渊;;Ad hoc网络中ARAN路由协议的安全性分析[J];电子与信息学报;2010年09期
3 董学文;牛文生;马建峰;盛立杰;;Ad-hoc路由协议的串空间安全性扩展[J];计算机科学;2011年07期
4 董学文;马建峰;牛文生;毛立强;谢辉;;基于串空间的Ad Hoc安全路由协议攻击分析模型[J];软件学报;2011年07期
中国博士学位论文全文数据库 前1条
1 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
【参考文献】
中国期刊全文数据库 前1条
1 慕建君;;一种形式化分析安全协议的新模型[J];西安电子科技大学学报(自然科学版);2006年03期
【共引文献】
中国硕士学位论文全文数据库 前2条
1 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
2 翟红杰;3G移动通信系统中基于认证测试的EAP-AKA协议研究[D];西安电子科技大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 胡爱群;无线通信网络的安全问题及对策[J];电信科学;2003年12期
2 闫丽丽;彭代渊;;Ad hoc网络中ARAN路由协议的安全性分析[J];电子与信息学报;2010年09期
3 王刚;温涛;郭权;马学彬;;移动自组网中安全高效的组密钥管理方案[J];计算机研究与发展;2010年05期
4 宋震;张艳;李舟军;陈火旺;;安全协议的形式化描述和分析[J];计算机科学;2003年08期
5 沈海峰;薛锐;黄河燕;;IKE2协议的安全性分析[J];计算机科学;2005年11期
6 陶宏才;何大可;;Yahalom协议及其变体的时序缺陷分析与改进[J];计算机工程;2008年17期
7 陈平,刘东喜,白英彩;安全协议的形式化分析方法研究[J];计算机应用与软件;2003年05期
8 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
9 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
10 沈海峰,薛锐,黄河燕,陈肇雄;串空间理论扩展[J];软件学报;2005年10期
中国博士学位论文全文数据库 前3条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 付才;移动自组网路由安全研究[D];华中科技大学;2007年
3 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
【二级引证文献】
中国期刊全文数据库 前3条
1 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
2 曹利峰;陈性元;杜学绘;王怀鹏;;一个多级安全通道建立协议及安全性分析[J];计算机工程与应用;2012年20期
3 徐光宪;付晓;;抗万能攻击的安全网络编码[J];计算机科学;2012年08期
【相似文献】
中国期刊全文数据库 前10条
1 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
2 闫丽丽;彭代渊;;Ad hoc网络中ARAN路由协议的安全性分析[J];电子与信息学报;2010年09期
3 毛立强;马建峰;李兴华;;可证明安全的MANET按需源路由协议分析[J];通信学报;2009年01期
4 王威;唐文胜;罗娟;;基于GloMosim的无线传感器网络路由协议仿真研究[J];计算机与现代化;2008年02期
5 刘晶;伏飞;肖军模;;扩展Meadows模型分析Ad Hoc网络路由协议安全性[J];应用科学学报;2008年03期
6 张飞;王同乐;;系统形式化分析在AILS研发中的应用[J];中国民航大学学报;2007年S1期
7 邵梅;王玉斌;马争先;钟艳如;;Ad hoc网络AODV协议的形式化分析与仿真[J];广西科学院学报;2010年04期
8 吴凡;黄启俊;常胜;王豪;孙平;梁韶华;;内调制光电探测器光生电压的模型分析[J];武汉大学学报(理学版);2007年01期
9 罗齐汉,陈定方,傅永华;塑料异型材挤出模CAM中加工模拟的实现[J];武汉理工大学学报(交通科学与工程版);1996年02期
10 罗平;关于M=2~β的乘同余发生器[J];数据采集与处理;1997年04期
中国重要会议论文全文数据库 前10条
1 杜志平;赵海;刘大鹏;;基于链路生存时间的稳健的车载网络路由协议[A];第八届沈阳科学学术年会论文集[C];2011年
2 罗志平;张玉平;潘牧;杜凯;;质子交换膜中水含量的研究[A];第七届全国氢能学术会议论文集[C];2006年
3 罗志平;张玉平;潘牧;杜凯;;质子交换膜中水含量的研究[A];第七届全国氢能学术会议专辑[C];2006年
4 张娟;孔凡军;;Ad Hoc网络路由协议研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
5 李涛;杨静;王平;;基于能量考虑的ZigBee树路由协议[A];全国第三届信号和智能信息处理与应用学术交流会专刊[C];2009年
6 刘翔;;Ad hoc的路由协议研究[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年
7 杨非;牛长流;;无线传感器网络中基于能量的路由协议分析[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
8 谭定忠;邱英;师柱;张厚琛;高明;;基于无线传感器网络的温度监测技术研究[A];2009中国仪器仪表与测控技术大会论文集[C];2009年
9 孙昊;;无线传感器网络中能量有效路由协议的研究与分析[A];四川省通信学会2007年学术年会论文集[C];2007年
10 胡文基;徐明伟;;无线传感器网络安全路由协议分析[A];2006年全国通信软件学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 金桦;路由协议一样影响速度[N];中国计算机报;2003年
2 刘光强;路由+流量:透视IP云[N];中国计算机报;2007年
3 工业和信息化部电信研究院 马军锋 张恒升;一物一地址 万物皆在线[N];人民邮电;2011年
4 甄岩武穆清;无处不在的无线Mesh网络[N];中国计算机报;2007年
5 中科院计算所信息网络室 庞迪;移动自组织网络的关键技术—路由协议[N];计算机世界;2005年
6 上海市闵行电视台 技术总监 徐金树;MPLS/VPN城域网的搭建启示[N];通信产业报;2006年
7 陈军梅;Packet Design扩展中国市场[N];中国质量报;2007年
8 江苏省昆山市地税局;模型分析树标杆 层层深入破税案[N];中国税务报;2010年
9 潘晏涛 卢泽新;路由技术[N];计算机世界;2004年
10 赵锋;三种IPv4/IPv6过渡技术对比[N];人民邮电;2006年
中国博士学位论文全文数据库 前10条
1 曲文武;无线网络的声明性方法研究[D];中国科学技术大学;2010年
2 刘绍波;边坡数字无线监测系统关键技术研究[D];中国科学院研究生院(武汉岩土力学研究所);2010年
3 胡细;移动自组网络中若干问题的建模与分析[D];上海大学;2007年
4 左克;移动对等计算资源定位与分发技术研究[D];国防科学技术大学;2010年
5 高腾;能量高效的无线传感器网络分簇路由协议研究[D];大连理工大学;2011年
6 任彦;无线传感器网络覆盖与拓扑控制理论与技术研究[D];北京交通大学;2008年
7 彭革刚;移动自组网QoS路由协议研究[D];复旦大学;2005年
8 张瑞;基于802.11的无线网状网路由与传输技术研究[D];中国科学技术大学;2008年
9 康凯;无线多跳网中多址和路由选择技术的研究[D];电子科技大学;2005年
10 张天乐;交替活跃模式的部分连接网络路由研究[D];中国科学院研究生院(计算技术研究所);2006年
中国硕士学位论文全文数据库 前10条
1 林乔军;安全高效的无线传感器网络路由协议研究[D];湖南大学;2009年
2 王平;无线传感器网络节能路由协议研究[D];山东大学;2010年
3 刘弢;无线传感器网络能量有效分簇路由协议(PECRP)的研究与应用[D];山东大学;2010年
4 石蔚;Ad Hoc中具有QoS的分簇路由协议研究[D];青岛大学;2010年
5 林栋;一种基于Ad hoc网络的安全节能路由协议[D];西安电子科技大学;2011年
6 刘宝勤;基于LEACH的WSN路由协议研究和改进[D];大连理工大学;2011年
7 姜河;Ad hoc组播路由协议研究与仿真[D];西南交通大学;2004年
8 王彬;DYMO路由协议的OPNET平台实现及协议性能评价与优化[D];北京邮电大学;2010年
9 杨伟伟;基于LEACH的WSN分簇路由协议研究[D];郑州大学;2010年
10 韦哲;基于上下文感知技术的WSN路由协议研究[D];大连理工大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026