Automating the security analysis process of secure ad hoc routing protocols

作者：Andel T R^*; Back G; Yasinsac A

来源：Simulation Modelling Practice and Theory, 2011, 19(9): 2032-2049.

DOI：10.1016/j.simpat.2011.05.008

• Secure routing analysis
• Formal methods
• Mobile ad hoc network security
• Topology pruning

Conventional security property evaluation approaches for ad hoc network routing protocols do not provide an automated or exhaustive capability. This paper provides an automated process to evaluate security properties in the route discovery phase for on-demand source routing protocols. For a given network topology, model checking is used to exhaustively evaluate protocol abstractions against an attacker attempting to corrupt the route discovery process. Additionally, topology reduction techniques are developed to reduce computational requirements while maintaining exhaustive analysis results. Published by Elsevier B.V.

• 出版日期2011-10