%0 Journal Article
%T Provably Secure Approach for Multiple Node-Disjoint Paths Source Routing Protocol<br>可证明安全的节点不相交多路径源路由协议
%A FENG Tao
%A GUO Xian
%A MA Jian-Feng
%A LI Xing-Hua
%A <br>冯 涛
%A 郭 显
%A 马建峰
%A 李兴华
%J 软件学报
%D 2010
%I 
%X The multi-path routing scheme provides reliable guarantee for mobile ad hoc networks. This paper proposes a new method used to analyze the security of multi-path routing protocol within the framework of Universally Composable (UC) security. Based on the topological model that exist in adversarial nodes, the concept of plausible route is extended and the definition of plausible-route set is presented. Plausible-Route set is used to describe the multi-path routing for ad hoc networks, and a formal security definition based on UC-RP is given. A provably Security Multiple Node-Disjoint Paths source routing (SMNDP) is proposed and used to address secure fault issue of MNDP (multiple node-disjoint paths) in the active adversary model. The new approach shows that the security of SMNDP can be reduced to the security of the message authentication code and the digital signature. SMNDP implements the correctness of route discovery process, the authentication of nodes identifier and the integrality of route information.
%K ad hoc network
%K MNDP (multiple node-disjoint paths)
%K provably security
%K plausible route
%K SMNDP (security multiple node-disjoint paths)<br>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.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=2AA6814D3ACA061B87C0F45982201C70&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=DF92D298D3FF1E6E&sid=959B2AB984B945BD&eid=BF631CA8030AF011&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=27