Download or read book Formal Security Evaluation of Ad Hoc Routing Protocols written by Todd R. Andel and published by . This book was released on 2007 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: ABSTRACT: Research into routing protocol development for mobile ad hoc networks has been a significant undertaking since the late 1990's. Secure routing protocols for mobile ad hoc networks provide the necessary functionality for proper network operation. If the underlying routing protocol cannot be trusted to follow the protocol operations, additional trust layers cannot be obtained. For instance, authentication between nodes is meaningless without a trusted underlying route.