收藏本站
《通信学报》 2005年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于BAN逻辑的ad hoc移动网络路由协议的安全性分析

王英龙  王继志  王美琴  
【摘要】:Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。

【引证文献】
中国博士学位论文全文数据库 前1条
1 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年
【参考文献】
中国期刊全文数据库 前1条
1 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 代印唐;张世永;;即时通信安全研究[J];电信科学;2006年04期
2 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
3 卫剑钒,陈钟,段云所,王立福;一种认证协议防御拒绝服务攻击的设计方法[J];电子学报;2005年02期
4 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
5 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
6 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
7 王英龙,王继志,王美琴,高振明;一种Adhoc网络路由协议安全性分析方法[J];计算机工程与应用;2005年23期
8 李静;肖美华;;网络认证协议攻击的非形式化分析[J];计算机工程与应用;2006年22期
9 李建欣,李先贤,卓继亮,怀进鹏;SPA:新的高效安全协议分析系统[J];计算机学报;2005年03期
10 顾永跟;傅育熙;朱涵;;基于可达关系的安全协议保密性分析[J];计算机学报;2007年02期
中国博士学位论文全文数据库 前10条
1 柴震川;门限密码方案安全性和应用研究[D];上海交通大学;2007年
2 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
3 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
4 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
5 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
6 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
7 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
8 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年
9 王文奇;入侵检测与安全防御协同控制研究[D];西北工业大学;2006年
10 李兴华;无线网络中认证及密钥协商协议的研究[D];西安电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 史闻博;基于Nonce数的高效Token更新认证协议的研究[D];成都理工大学;2007年
2 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
3 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
4 陈铁明;复杂安全协议的形式化分析、设计与验证研究[D];浙江工业大学;2004年
5 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
6 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年
7 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
8 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年
9 彭红艳;电子邮件抗抵赖的研究与实现[D];广西师范大学;2004年
10 李晓阳;分布式系统中RBAC的设计与实现[D];中国科学院研究生院(软件研究所);2005年
【同被引文献】
中国期刊全文数据库 前10条
1 洪源,王秀美,李灿华,陈友凤,马小珩;面向对象数据库的逻辑设计方法[J];北京科技大学学报;2001年04期
2 马瑞民,袁文翠,朱玉玺;基于知识的星型决策支持系统及其面向对象设计[J];大庆石油学院学报;1999年01期
3 宋远骏,李德毅,杨孝宗,崔东华;电子产品可靠性的云模型评价方法[J];电子学报;2000年12期
4 陈丹,王劭伯;单神经元模糊自适应内模控制器[J];福州大学学报(自然科学版);2002年06期
5 王崇霞;面向对象软件中类和对象的识别[J];长治学院学报;2005年02期
6 何华灿,刘永怀,何大庆;经验性思维中的泛逻辑[J];中国科学E辑;1996年01期
7 刘普寅,汪浩;正则模糊神经网络对于连续模糊函数的近似能力研究[J];中国科学E辑;1999年01期
8 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
9 杜益鸟,宋自林,李德毅;基于云模型的关联规则挖掘方法[J];解放军理工大学学报(自然科学版);2000年01期
10 蒋嵘,李德毅,陈晖;基于云模型的时间序列预测[J];解放军理工大学学报(自然科学版);2000年05期
中国博士学位论文全文数据库 前5条
1 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
2 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
3 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
4 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年
5 鲁斌;广义智能系统柔性超拓扑空间模型研究与应用[D];西北工业大学;2003年
中国硕士学位论文全文数据库 前5条
1 罗正钦;基于UC框架的安全协议形式化分析[D];上海交通大学;2008年
2 范红梅;RFID技术研究[D];浙江大学;2006年
3 高磊;基于椭圆曲线密码的RFID安全协议[D];上海交通大学;2007年
4 程林;射频识别系统的研究[D];华东师范大学;2007年
5 章轶;射频识别系统及其认证协议的研究[D];解放军信息工程大学;2007年
【二级参考文献】
中国期刊全文数据库 前2条
1 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
2 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【相似文献】
中国期刊全文数据库 前10条
1 李文杰;;基于定位信息的Adhoc路由协议[J];中国产业;2011年04期
2 张蕾;谢杨梅;;一种支持移动Sink的无线传感器网络路由协议[J];池州学院学报;2011年03期
3 王小耿;;无线传感器网络的组网及路由协议研究[J];电脑知识与技术;2011年15期
4 王琦;张勇;;无线传感器的网络应用[J];信息与电脑(理论版);2011年06期
5 胡仕强;;无线传感器网络的路由协议分析研究[J];机械与电子;2010年S1期
6 张利琼;陶昆;;无线传感器网络路由协议研究[J];山西电子技术;2011年04期
7 王立平;崔智林;马力;;基于OPNET仿真平台的MANET路由协议性能分析[J];现代电子技术;2011年14期
8 杨波;;Ad Hoc路由协议性能分析[J];福建电脑;2011年05期
9 胡中栋;曾志勇;;基于多路径的DSR路由协议改进[J];江西理工大学学报;2011年03期
10 杨平;;高可靠性动态路由协议在福州IP城域网的应用[J];海峡科学;2011年05期
中国重要会议论文全文数据库 前10条
1 杜志平;赵海;刘大鹏;;基于链路生存时间的稳健的车载网络路由协议[A];第八届沈阳科学学术年会论文集[C];2011年
2 张娟;孔凡军;;Ad Hoc网络路由协议研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
3 李涛;杨静;王平;;基于能量考虑的ZigBee树路由协议[A];全国第三届信号和智能信息处理与应用学术交流会专刊[C];2009年
4 刘翔;;Ad hoc的路由协议研究[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年
5 杨非;牛长流;;无线传感器网络中基于能量的路由协议分析[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
6 孙昊;;无线传感器网络中能量有效路由协议的研究与分析[A];四川省通信学会2007年学术年会论文集[C];2007年
7 胡文基;徐明伟;;无线传感器网络安全路由协议分析[A];2006年全国通信软件学术会议论文集[C];2006年
8 徐太兵;金仁成;褚金奎;王立鼎;;无线传感器网络的建模分析[A];第十届全国敏感元件与传感器学术会议论文集[C];2007年
9 侍蕾;赵洪利;;空间信息网路由协议关键技术分析[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
10 黎林坡;毛羽刚;;基于Qualnet的无线网络路由协议比较研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
中国重要报纸全文数据库 前10条
1 甄岩武穆清;无处不在的无线Mesh网络[N];中国计算机报;2007年
2 潘晏涛 卢泽新;路由技术[N];计算机世界;2004年
3 赵锋;三种IPv4/IPv6过渡技术对比[N];人民邮电;2006年
4 特约撰稿 江家兴;浅述无线传感器网络安全[N];通信信息报;2007年
5 荆瑞泉;路由技术:ASON标准化的关键点[N];人民邮电;2006年
6 徐云斌 张海懿;ASON国际标准化进展[N];人民邮电;2006年
7 本报记者 张彤;路由与安全的“婚配”[N];网络世界;2007年
8 上海贝尔阿尔卡特 李伟;NGN承载网建设思路及策略[N];通信产业报;2005年
9 张琳;无线Mesh为4G搭桥[N];网络世界;2006年
10 华为3Com交换机产品经理 黄磊;华为3Com S5500-SI交换机[N];电脑商报;2006年
中国博士学位论文全文数据库 前10条
1 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
2 曲文武;无线网络的声明性方法研究[D];中国科学技术大学;2010年
3 胡细;移动自组网络中若干问题的建模与分析[D];上海大学;2007年
4 高腾;能量高效的无线传感器网络分簇路由协议研究[D];大连理工大学;2011年
5 任彦;无线传感器网络覆盖与拓扑控制理论与技术研究[D];北京交通大学;2008年
6 彭革刚;移动自组网QoS路由协议研究[D];复旦大学;2005年
7 张瑞;基于802.11的无线网状网路由与传输技术研究[D];中国科学技术大学;2008年
8 康凯;无线多跳网中多址和路由选择技术的研究[D];电子科技大学;2005年
9 张天乐;交替活跃模式的部分连接网络路由研究[D];中国科学院研究生院(计算技术研究所);2006年
10 陈迅;无线传感器网络通信协议及定位算法研究[D];复旦大学;2007年
中国硕士学位论文全文数据库 前10条
1 王平;无线传感器网络节能路由协议研究[D];山东大学;2010年
2 刘弢;无线传感器网络能量有效分簇路由协议(PECRP)的研究与应用[D];山东大学;2010年
3 石蔚;Ad Hoc中具有QoS的分簇路由协议研究[D];青岛大学;2010年
4 林栋;一种基于Ad hoc网络的安全节能路由协议[D];西安电子科技大学;2011年
5 刘宝勤;基于LEACH的WSN路由协议研究和改进[D];大连理工大学;2011年
6 姜河;Ad hoc组播路由协议研究与仿真[D];西南交通大学;2004年
7 王彬;DYMO路由协议的OPNET平台实现及协议性能评价与优化[D];北京邮电大学;2010年
8 杨伟伟;基于LEACH的WSN分簇路由协议研究[D];郑州大学;2010年
9 韦哲;基于上下文感知技术的WSN路由协议研究[D];大连理工大学;2010年
10 仲新林;无线传感器网络中地理位置路由协议研究[D];南京航空航天大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026