MANET安全路由协议自动化分析

doi:10.3969/j.issn.1001-2400.2016.06.010

Abstract

Abstract:

Automated security analysis techniques in Mobile ad hoc network(MANET) routing protocols has become a hot research field. We have developed an automated evaluation process to analyze security properties of SRP and Ariadne. Using the automated security evaluation process, we can produce and analyze all topologies for a given network size. The NDA attackers and routing protocols are modeled in SPIN, and the route corruption attack is found automatically, which indicates the effectiveness of automated analysis of MANET route protocols using SPIN.

Key words: routing protocol, formal analysis, simple promela interpreter, simulatability model

MAO Liqiang;HUANG Ying. Automated security analysis techniques in MANET routing protocols[J].Journal of Xidian University, 2016, 43(6): 56-61.

References

［1］ SHARMA S B, CHAUHAN N. Security Issues and Their Solutions in MANET［C］//Proceedings of the 2015 1st International Conference on Futuristic Trends in Computational Analysis and Knowledge Management. Piscataway: IEEE, 2015: 289-294.
［2］ NANZ S, HANKIN C. A Framework for Security Analysis of Mobile Wireless Networks ［J］. Theoretical Computer Science, 2006, 367(1/2): 203-227.
［3］ THONG T V, BUTTYAN L. On Automating the Verification of Secure Ad-hoc Network Routing Protocols［J］. Telecommunication Systems, 2013, 52(4): 2611-2635.
［4］ PURA M L, BUCHS D. Model Checking ARAN Ad Hoc Secure Routing Protocol with Algebraic Petri Nets［C］//Proceedings of the 10th IEEE International Conference on Communications. Piscataway: IEEE, 2014: 1-4.
［5］ BENETTI D, MERRO M, VIGANO L. Model Checking Ad Hoc Network Routing Protocols: ARAN vs Endair A［C］//Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods. Piscataway: IEEE, 2010: 191-202.
［6］ PURA M L, PATRICIU V V, BICA I. Formal Verification of Secure Ad Hoc Routing Protocols Using AVISPA: ARAN Case Study［C］//Proceedings of the 4th Conference on European Computing Conference. Athens: World Scientific and Engineering Academy and Society, 2010: 200-206.
［7］ WIBLING O, PARROW J, PEARS A. Automatized Verification of Ad Hoc Routing Protocols［C］//Lecture Notes in Computer Science: 3235. Berlin: Springer Verlag, 2004: 343-358.
［8］ ZAIDI F, LALLALI M, MAAG S. A Component Based Testing Technique for a MANET Routing Protocol［C］//Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications. Piscataway: IEEE Computer Society, 2010: 5587040.
［9］ ACS G, BUTTYAN L, VAJDA I. Provably Secure On-demand Source Routing in Mobile Ad Hoc Networks ［J］. IEEE Transactions on Mobile Computing, 2006, 5(11): 1533-1546.
［10］ CORTIER V, DEGRIECK J, DELAUNE S. Analysing Routing Protocols: Four Nodes Topologies Are Sufficient［C］//Lecture Notes in Computer Science: 7215. Berlin: Springer Verlag, 2012: 30-50.

[1]	LI Zhen;CHEN Jian;KUO Yonghong. Hexagonal centralized cluster-based multi-hop routing protocol for WSN [J]. J4, 2012, 39(3): 20-26.
[2]	TANG Di;YANG Xiaoniu;LI Jiandong. Secure routing protocol based on probability in sensor networks [J]. J4, 2011, 38(6): 1-7.
[3]	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.
[4]	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.
[5]	MU Jian-jun. A new model for analyzing security protocols formally [J]. J4, 2006, 33(3): 381-385.
[6]	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.

Automated security analysis techniques in MANET routing protocols

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 6

Metrics

Comments

Recommended 10