Computer Science – Cryptography and Security
Scientific paper
2009-12-30
IEEE-CS BroadNets 2006, San Jose, CA, USA, October 2006
Computer Science
Cryptography and Security
Scientific paper
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 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.
Haas Zygmunt J.
Hubaux Jean-Pierre
Papadimitratos Panagiotis
No associations
LandOfFree
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-34303