-
题名可证明安全的节点不相交多路径源路由协议
被引量：9
- 1
-
-
作者
冯涛
郭显
马建峰
李兴华
-
机构
兰州理工大学计算机与通信学院
西安电子科技大学计算机网络与信息安全教育部重点实验室
甘肃联合大学电子信息工程学院
-
出处
《软件学报》
EI
CSCD
北大核心
2010年第7期1717-1731,共15页
-
基金
国家自然科学基金Nos.60573036
60972078
+3 种基金
60702059
国家高技术研究发展计划(863)No.2007AA01Z429
甘肃省自然科学基金No.2007GS04823
兰州理工大学博士基金No.BS14200901~~
-
文摘
多路径路由实现是移动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)
-
Keywords
ad hoe network
MNDP （multiple node-disjoint paths）
provably security
plausible route
smndp （security multiple node-disjoint paths）
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名MANET节点不相交多路径安全源路由协议
被引量：2
- 2
-
-
作者
冯涛
郭显
马建峰
李兴华
-
机构
兰州理工大学计算机与通信学院
西安电子科技大学计算机网络与信息安全教育部重点实验室
甘肃联合大学数学与信息科学学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2009年第6期1126-1133,共8页
-
基金
国家“八六三”高技术研究发展计划项目基金(2007AA01Z429)
国家自然科学基金(60573036,60633020,60702059)
+1 种基金
甘肃省自然科学基金(2007GS04823)
兰州理工大学博士基金(BS14200901)资助~~
-
文摘
多路径路由实现是移动Adhoc网络(MANET)可靠运行的有效保证.现有MANET节点不相交多路径路由协议主要关注节点不相交多路径的可实现性和效率问题.针对节点不相交多路径路由协议MNDP协议在主动攻击者安全模型中的安全缺陷,提出了可证明安全的MANET节点不相交多路径动态源路由协议——SMNDP协议.SMNDP协议路由请求算法中,建立了中间节点路由请求消息传播策略的检错机制,SMNDP协议路由应答算法中建立了消息防篡改机制和身份认证机制.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念和节点不相交多路径源路由协议的安全定义,并应用于SMNDP协议的安全分析.SMNDP协议的安全性可以归约为消息认证码和签名机制的安全性.
-
关键词
MANET
MNDP
可证明安全
可模糊路由
smndp
-
Keywords
MANET
MNDP
provably secure
plausible route
smndp
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
