Automating the security analysis process of secure ad hoc routing protocols
Saved in:
| Title: | Automating the security analysis process of secure ad hoc routing protocols |
|---|---|
| Authors: | Andel, T.R.1 todd.andel@afit.edu, Back, G.1 gtback@ieee.org, Yasinsac, A.2 yasinsac@usouthal.edu |
| Source: | Simulation Modelling Practice & Theory. Oct2011, Vol. 19 Issue 9, p2032-2049. 18p. |
| Subjects: | Computer security, Ad hoc computer networks, Network routing protocols, Formal methods (Computer science), Automation, Cyberterrorism |
| Abstract: | Abstract: 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. [Copyright &y& Elsevier] |
| Copyright of Simulation Modelling Practice & Theory is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
