Towards Provable Security for Route Discovery Protocols in Mobile Ad Hoc Networks
Mobile Ad hoc NETworks (MANETs) are collections of wireless mobile devices with restricted broadcast range and resources, and no fixed infrastructure. Communication is achieved by relaying data along appropriate routes. Discovering such routes however is a major task, both from an efficiency point of view and from a security point of view. In particular, it is important that the route discovered is not controlled by the adversary. Several route discovery protocols have been proposed in the literature that addresses the particular requirements of a MANET, but as the authors demonstrate in this paper their security is still analyzed in weak models and cannot tolerate certain classes of attack.