2013 | OriginalPaper | Buchkapitel
Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks
verfasst von : Rémy Chrétien, Stéphanie Delaune
Erschienen in: Principles of Security and Trust
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Routing protocols aim at establishing a route between distant nodes in ad hoc networks. Secured versions of routing protocols have been proposed to provide more guarantees on the resulting routes, and some of them have been designed to protect the privacy of the users.
In this paper, we propose a framework for analysing privacy-type properties for routing protocols. We use a variant of the applied-pi calculus as our basic modelling formalism. More precisely, using the notion of equivalence between traces, we formalise three security properties related to privacy, namely
indistinguishability
,
unlinkability
, and
anonymity
. We study the relationship between these definitions and we illustrate them using two versions of the
ANODR
routing protocol.