Accession Number : ADA558234
Title : Security Verification of Secure MANET Routing Protocols
Descriptive Note : Master's thesis
Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT
Personal Author(s) : Steele, Matthew F
Full Text : http://www.dtic.mil/dtic/tr/fulltext/u2/a558234.pdf
Report Date : 22 Mar 2012
Pagination or Media Count : 108
Abstract : Secure mobile ad hoc network (MANET) routing protocols are not tested thoroughly against their security properties. Previous research focuses on verifying secure, reactive, accumulation-based routing protocols. An improved methodology and framework for secure MANET routing protocol verification is proposed which includes table-based and proactive protocols. The model checker, SPIN, is selected as the core of the secure MANET verification framework. Security is defined by both accuracy and availability: a protocol forms accurate routes and these routes are always accurate. The framework enables exhaustive verification of protocols and results in a counter-example if the protocol is deemed insecure. The framework is applied to models of the Optimized Link-State Routing (OLSR) and Secure OLSR protocol against five attack vectors. These vectors are based on known attacks against each protocol. Vulnerabilities consistent with published findings are automatically revealed. No unknown attacks were found; however, future attack vectors may lead to new attacks. The new framework for verifying secure MANET protocols extends verification capabilities to table-based and proactive protocols.
Descriptors : *COMMUNICATIONS PROTOCOLS , ACCURACY , ATTACK , MOBILE , SECURITY , VERIFICATION , VULNERABILITY
Subject Categories : Computer Systems
Distribution Statement : APPROVED FOR PUBLIC RELEASE