Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks

Gergely Ács, Levente Buttyán, I. Vajda

Research output: Contribution to journalArticle

129 Citations (Scopus)

Abstract

Routing is one of the most basic networking functions in mobile ad hoc networks. Hence, an adversary can easily paralyze the operation of the network by attacking the routing protocol. This has been realized by many researchers and several “secure” routing protocols have been proposed for ad hoc networks. However, the security of those protocols has mainly been analyzed by informal means only. In this paper, we argue that flaws in ad hoc routing protocols can be very subtle, and we advocate a more systematic way of analysis. We propose a mathematical framework in which security can be precisely defined and routing protocols for mobile ad hoc networks can be proved to be secure in a rigorous manner. Our framework is tailored for on-demand source routing protocols, but the general principles are applicable to other types of protocols too. Our approach is based on the simulation paradigm, which has already been used extensively for the analysis of key establishment protocols, but, to the best of our knowledge, it has not been applied in the context of ad hoc routing so far. We also propose a new on-demand source routing protocol, called endairA, and we demonstrate the use of our framework by proving that it is secure in our model.

Original languageEnglish
Pages (from-to)1533-1546
Number of pages14
JournalIEEE Transactions on Mobile Computing
Volume5
Issue number11
DOIs
Publication statusPublished - 2006

Keywords

  • Mobile ad hoc networks
  • provable security
  • secure routing

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks'. Together they form a unique fingerprint.

  • Cite this