You are here

Analysis of the Secure Routing Protocol for Mobile Ad Hoc Network Route Discovery

Title: An Analysis of the Secure Routing Protocol for Mobile Ad Hoc Network Route Discovery: Using Intuitive Reasoning and Formal Verification to Identify Flaws.
28 views
10 downloads
Name(s): Marshall, John D., II, author
Yasinsac, Alec, professor directing thesis
Burmester, Mike, committee member
Yuan, Xin, committee member
Department of Computer Science, degree granting department
Florida State University, degree granting institution
Type of Resource: text
Genre: Text
Issuance: monographic
Date Issued: 2003
Publisher: Florida State University
Place of Publication: Tallahassee, Florida
Physical Form: computer
online resource
Extent: 1 online resource
Language(s): English
Abstract/Description: 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.
Identifier: FSU_migr_etd-2717 (IID)
Submitted Note: A Thesis submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Master of Science.
Degree Awarded: Spring Semester, 2003.
Date of Defense: April 23, 2003.
Keywords: Secure Routing Protocol (SRP)
Bibliography Note: Includes bibliographical references.
Advisory Committee: Alec Yasinsac, Professor Directing Thesis; Mike Burmester, Committee Member; Xin Yuan, Committee Member.
Subject(s): Computer science
Persistent Link to This Record: http://purl.flvc.org/fsu/fd/FSU_migr_etd-2717
Owner Institution: FSU

Choose the citation style.
Marshall, J. D. (2003). An Analysis of the Secure Routing Protocol for Mobile Ad Hoc Network Route Discovery: Using Intuitive Reasoning and Formal Verification to Identify Flaws. Retrieved from http://purl.flvc.org/fsu/fd/FSU_migr_etd-2717