SURVEYING SECURITY ANALYSIS TECHNIQUES IN MANET ROUTING PROTOCOLS

Secure routing protocols for mobile ad hoc networks are vital to proper wireless network operation. Unfortunately, ad hoc protocol security properties are often unknown and difficult to analyze. Non-exhaustive analysis techniques may deem a protocol secure, while in reality an unobvious or subtle flaw may be present. Using exhaustive analysis techniques to prove (or disprove) security properties increases protocol confidence. We provide a survey on the current state of analysis techniques, as they are used in the mobile ad hoc routing community and further discuss open research areas.