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 AbstractWith 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.
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