可证明安全的节点不相交多路径源路由协议

作     者：冯涛 郭显 马建峰 李兴华 FENG Tao;GUO Xian;MA Jian-Feng;LI Xing-Hua

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

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2010年第21卷第7期

页      面：1717-1731页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：ad hoc 网络 MNDP(multiple node—disjoint paths) 可证明安全 可模糊路由 SMNDP(security multiple node—disjoint paths) 

摘      要：多路径路由实现是移动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协议实现了路由发现协议的正确性、节点身份的认证性和路由消息的完整性.