文献类型：期刊文章

作　　者：冯涛[1,2] 郭显[1,3] 马建峰[2] 李兴华[2]

机构地区：[1]兰州理工大学计算机与通信学院,甘肃兰州730050 [2]西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071 [3]甘肃联合大学电子信息工程学院,甘肃兰州730010

出　　处：《软件学报》

基　　金：国家自然科学基金Nos.60573036;60972078;60702059;国家高技术研究发展计划(863)No.2007AA01Z429;甘肃省自然科学基金No.2007GS04823;兰州理工大学博士基金No.BS14200901~~

年　　份：2010

卷　　号：21

期　　号：7

起止页码：1717-1731

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20103113116853)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：多路径路由实现是移动ad hoc网络可靠运行的有效保证.针对多路径路由协议的安全性分析,建立了基于UC(universally composable)框架的可证明安全路由协议的新方法.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念,用于描述攻陷网络拓扑结构的移动ad hoc网络多路径路由;基于UC安全模型,提出了基于UC-RP(universally composable security framework for ad hoc networks routing protocol)框架的路由协议形式化安全定义;针对MNDP(multiple node-disjoint paths)协议存在的安全问题,提出了新的移动ad hoc网络节点不相交多路径动态源路由协议(简记为SMNDP(security multiple node-disjoint paths)协议).将基于UC-RP框架的可证明安全路由协议的新方法应用于SMNDP协议的安全分析.SMNDP协议的可证明安全性可以归约为消息认证码和签名机制的安全性.SMNDP协议实现了路由发现协议的正确性、节点身份的认证性和路由消息的完整性.

关 键 词：ad  HOC 网络  MNDP(multiple  node—disjoint  paths)  可证明安全 可模糊路由  SMNDP(security  MULTIPLE node—disjoint  paths)  

分 类 号：TP393]