DocumentCode
1968574
Title
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Author
Papadimitratos, Panagiotis ; Haas, Zygmunt J. ; Hubaux, Jean-Pierre
Author_Institution
EPFL, Lausanne
fYear
2006
fDate
1-5 Oct. 2006
Firstpage
1
Lastpage
10
Abstract
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these protocols is mostly lacking. In this paper, we are concerned with this problem, how to specify and how to prove the correctness of a secure routing protocol. We provide a definition of what a protocol is expected to achieve independently of its functionality, as well as a communication and adversary models. This way, we enable formal reasoning on the correctness of secure routing protocols. We demonstrate this by analyzing two protocols from the literature.
Keywords
ad hoc networks; mobile communication; routing protocols; telecommunication security; MANET; mobile ad hoc networks; secure routing protocols; Mobile ad hoc networks; Routing protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Broadband Communications, Networks and Systems, 2006. BROADNETS 2006. 3rd International Conference on
Conference_Location
San Jose, CA
Print_ISBN
978-1-4244-0425-4
Electronic_ISBN
978-1-4244-0425-4
Type
conf
DOI
10.1109/BROADNETS.2006.4374344
Filename
4374344
Link To Document