可证明安全的MANET按需距离矢量路由协议分析

• Original Articles • Previous Articles Next Articles

Analysis of provably secure on-demand distance vector routing in MANET

MAO Li-qiang1;MA Jian-feng1,2

(1. School of Computer Science and Technology, Xidian Univ., Xi’an 710071， China;
2. Ministry of Education Key Lab. of Computer Network and Information Security, Xidian Univ., Xi’an 710071， China)

Received:2008-06-16 Revised:1900-01-01 Online:2008-12-20 Published:2008-12-20
Contact: MAO Li-qiang E-mail:lqmao@xidian.edu.cn

Abstract

Abstract: Based on the simulation paradigm, Acs et al proposed a formal model tailored to the security analysis of on-demand distance vector routing protocols in MANET, and a routing protocol, called ARAN, was proven secure in the model. We indicate the improper manipulations such as mergence of the adjacent adversarial nodes, the improper definition of the correct system state in the model, and the flaw in the proof for ARAN. A new attack to ARAN is presented, which shows that ARAN is not provably secure even in their model.

Key words: routing protocol, provable security, formal analysis, simulation paradigm

CLC Number:

TP393.04

MAO Li-qiang1;MA Jian-feng1;2. Analysis of provably secure on-demand distance vector routing in MANET
[J].J4, 2008, 35(6): 1063-1068.

[1]	MAO Liqiang;HUANG Ying. Automated security analysis techniques in MANET routing protocols [J]. Journal of Xidian University, 2016, 43(6): 56-61.
[2]	LI Zhen;CHEN Jian;KUO Yonghong. Hexagonal centralized cluster-based multi-hop routing protocol for WSN [J]. J4, 2012, 39(3): 20-26.
[3]	TANG Di;YANG Xiaoniu;LI Jiandong. Secure routing protocol based on probability in sensor networks [J]. J4, 2011, 38(6): 1-7.
[4]	DUAN Xin-dong;MA Jian-feng. Network storage system in multi-domain environments [J]. J4, 2010, 37(6): 1103-1106+1118.
[5]	YANG Chao;CAO Chun-jie;MA Jian-feng. Universally composable secure authentication protocol for wireless mesh networks [J]. J4, 2007, 34(5): 814-817.
[6]	XU Rui;LI Wei-hua;CHEN Hua-sheng. Performance comparison and analysis of the tree-based on-demand multicast routing protocol in Ad Hoc networks [J]. J4, 2007, 34(4): 664-668.
[7]	MU Jian-jun. A new model for analyzing security protocols formally [J]. J4, 2006, 33(3): 381-385.
[8]	WANG Xuan;LI Jian-dong;LI Feng. A study of the performance of the enhanced RIEMS in mobile Ad Hoc Networks [J]. J4, 2006, 33(2): 241-246.
[9]	WANG Hong(1);XIAO Hong(2);QIU Gang(2);FENG Deng-guo(1). Secure distributed generation of the product of shared secrets [J]. J4, 2006, 33(1): 156-159.
[10]	CHEN Yuan;WANG Yu-min;XIAO Guo-zhen. PKC and chosen ciphertext security [J]. J4, 2004, 31(1): 135-139.

Analysis of provably secure on-demand distance vector routing in MANET

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 10

Metrics

Comments

Recommended 0