%0 Journal Article
%T 可证明安全的节点不相交多路径源路由协议
%A 冯涛？
%A 郭显？
%A 马建峰？
%A 李兴华？
%J 软件学报
%P 1717-1731
%D 2010
%X 多路径路由实现是移动adhoc网络可靠运行的有效保证.针对多路径路由协议的安全性分析,建立了基于uc(universallycomposable)框架的可证明安全路由协议的新方法.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念,用于描述攻陷网络拓扑结构的移动adhoc网络多路径路由;基于uc安全模型,提出了基于uc-rp(universallycomposablesecurityframeworkforadhocnetworksroutingprotocol)框架的路由协议形式化安全定义;针对mndp(multiplenode-disjointpaths)协议存在的安全问题,提出了新的移动adhoc网络节点不相交多路径动态源路由协议(简记为smndp(securitymultiplenode-disjointpaths)协议).将基于uc-rp框架的可证明安全路由协议的新方法应用于smndp协议的安全分析.smndp协议的可证明安全性可以归约为消息认证码和签名机制的安全性.smndp协议实现了路由发现协议的正确性、节点身份的认证性和路由消息的完整性.
%K ad
%K hoc网络
%K mndp(multiple
%K node-disjoint
%K paths)
%K 可证明安全
%K 可模糊路由
%K smndp(security
%K multiple
%K node-disjoint
%K paths)
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3576&flag=1