Development and Evaluation of Methodologies for Vulnerability Analysis of Ad-hoc Routing Protocols
This thesis presents a number methodologies for computer assisted vulnerability analysis of routing protocols in ad-hoc networks towards the goal of automating the process of finding vulnerabilities (possible attacks) on such network routing protocols and correcting the protocols. The methodologies developed are