Formal Verification and Improvement of a Secure Protocol for Ad Hoc Networks

Mobile ad hoc network (MANET) has become an exciting and important technology in recent years because of the rapid proliferation of wireless devices. MANETs are highly vulnerable to attacks due to the open medium, dynamically changing network topology, cooperative algorithms, lack of centralized monitoring and management point, and lack of a clear line of defense. Security is as important in ad hoc networks as it is in more traditional networks like the Internet. Sensitive data should be protected from malicious eavesdroppers and network services should only be provided to eligible users. In this paper, we research the methods of formalization for security routing protocol. Based on BAN like logic to analyze the security of Ad Hoc routing protocols. Considered the character of mobile Ad Hoc network, the BAN like logic was improved to judge the security. Some flaws of the Security-Aware Adaptive Dynamic Source Routing Protocol (SADSR) were found and adapted it.