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

多路径路由实现是移动adhoc网络可靠运行的有效保证.针对多路径路由协议的安全性分析,建立了基于uc(universallycomposable)框架的可证明安全路由协议的新方法.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念,用于描述攻陷网络拓扑结构的移动adhoc网络多路径路由;基于uc安全模型,提出了基于uc-rp(universallycomposablesecurityframeworkforadhocnetworksroutingprotocol)框架的路由协议形式化安全定义;针对mndp(multiplenode-disjointpaths)协议存在的安全问题,提出了新的移动adhoc网络节点不相交多路径动态源路由协议(简记为smndp(securitymultiplenode-disjointpaths)协议).将基于uc-rp框架的可证明安全路由协议的新方法应用于smndp协议的安全分析.smndp协议的可证明安全性可以归约为消息认证码和签名机制的安全性.smndp协议实现了路由发现协议的正确性、节点身份的认证性和路由消息的完整性.