Type of Document	Thesis
Author	Marshall, II, John D
URN	etd-08282003-173326
Title	An Analysis Of The Secure Routing Protocol For Mobile Ad Hoc Network Route Discovery: Using Intuitive Reasoning And Formal Verification To Identify Flaws
Degree	Master of Science
Department	Computer Science, Department of
Advisory Committee	Advisor Name Title Alec Yasinsac Committee Chair Mike Burmester Committee Member Xin Yuan Committee Member
Keywords	Secure Routing Protocol (SRP)
Date of Defense	2003-06-01
Availability	unrestricted
Abstract With this work we analyze the Secure Routing Protocol (SRP) proposed by Papadimitratos and Haas as a means for securing source-driven route discovery in ad hoc networks. We discuss aws in SRP's design and expose SRP's shortcomings with respect to its security goals. We analyze SRP using both the canonical BAN logic analysis for cryptographic protocols and the CPAL-ES formal methods suite. Formal methods work in broadcast paradigms is a burgeoning research area. As such, we discuss the challenges this environment poses for formal methods analysis and suggest changes to CPAL-ES that will assist future ad hoc network protocol analyses. We introduce an attack which demonstrates SRP's vulnerabilities and our bloodhound solution. We abstract the attack and conclude that protocols developed in the likeness of SRP are equally vulnerable. Finally, we point out SRP's unrealistic assumptions that make it unfit for use in practical MANET applications.
Files	Filename       Size       Approximate Download Time (Hours:Minutes:Seconds)     28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access    thesis_main.pdf 269.38 Kb 00:01:14 00:00:38 00:00:33 00:00:16 00:00:01