Secure Routing in Multi-hop Wireless Networks

Gergely Acs

ISBN 10: 3838387279 / ISBN 13: 9783838387277

Editore: LAP LAMBERT Academic Publishing Aug 2010, 2010

Riguardo questo articolo

Neuware -Routing is a fundamental networking function in every communication system, and multi-hop wireless networks are no exceptions. Attacking the routing service, an adversary can easily paralyse the operation of an entire network. The malicious manipulation of some routing messages results in the dissemination of incorrect routing information which can eventually lead to network malfunction. Even more, intermediate nodes can be corrupted, and thus, exhibit arbitrary behavior. Due to the subtle nature of attacks against routing protocols, informal reasoning about wireless routing security is an error-prone method. In this work, I develop a formal framework in which precise definitions of secure routing can be given, and secure routing protocols proposed for multi-hop wireless networks can be rigorously analysed. I demonstrate the usefulness of this framework in two ways: first, I prove the security of several existing routing protocols. Second, applying the design principles that were identified during the analyses, I propose novel routing protocols for wireless ad hoc and sensor networks and I prove that they are secure in my model.Books on Demand GmbH, Überseering 33, 22297 Hamburg 116 pp. Englisch.

Codice articolo 9783838387277

Dati bibliografici

• Titolo: Secure Routing in Multi-hop Wireless Networks
• Editore: LAP LAMBERT Academic Publishing Aug 2010
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 3838387279
• ISBN 13: 9783838387277
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 220 L x 150 A x 7 P (millimetri) 220 millimetri di larghezza per 150 millimetri di altezza per 7 millimetri di profondità
• Peso: 191 grammi

Descrizione articolo

Riassunto

Routing is a fundamental networking function in every communication system, and multi-hop wireless networks are no exceptions. Attacking the routing service, an adversary can easily paralyse the operation of an entire network. The malicious manipulation of some routing messages results in the dissemination of incorrect routing information which can eventually lead to network malfunction. Even more, intermediate nodes can be corrupted, and thus, exhibit arbitrary behavior. Due to the subtle nature of attacks against routing protocols, informal reasoning about wireless routing security is an error-prone method. In this work, I develop a formal framework in which precise definitions of secure routing can be given, and secure routing protocols proposed for multi-hop wireless networks can be rigorously analysed. I demonstrate the usefulness of this framework in two ways: first, I prove the security of several existing routing protocols. Second, applying the design principles that were identified during the analyses, I propose novel routing protocols for wireless ad hoc and sensor networks and I prove that they are secure in my model.

L'autore

Gergely ACS received the M.Sc. and Ph.D. degree in Computer Science from the Budapest University of Technology and Economics (BME) in 2005 and 2009, resp. Currently, he is a post-doctoral researcher at INRIA Grenoble in France. His research interest is the security of communication networks.