How to specify and how to prove correctness of secure routing protocols for MANET

2006 3rd International Conference on Broadband Communications, Networks and Systems, BROADNETS 2006

Volumn , Issue , 2006, Pages

  Papadimitratos, Panagiotis ^a   Haas, Zygmunt J ^b   Hubaux, Jean Pierre ^a  

^a EPFL   (Switzerland)

^b Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC NETWORKS; NETWORK PROTOCOLS; NETWORK ROUTING; ROUTING PROTOCOLS; TELECOMMUNICATION SYSTEMS; WIRELESS TELECOMMUNICATION SYSTEMS;

BROADBAND COMMUNICATIONS; SECURE ROUTING PROTOCOLS;

COMPUTER NETWORKS;

EID: 51749101324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BROADNETS.2006.4374344     Document Type: Conference Paper

References (19)

1. K. Bhargavan, D. Obradovic, and C. Gunter, "Formal Verification of Standards for Distance Vector Routing Protocols," Journal of the ACM, vol. 49, no. 4, pp. 538-576, July 2002
2. S. Brands and D. Chaum, "Distance-bounding protocols (extended abstract)," Theory and Application of Cryptographic Techniques, p. 344-359, 1993
3. L. Buttyan and I. Vajda, "Towards Provable Security for Ad Hoc Routing Protocols," in proc. of the 2nd ACM SASN, Washington, DC, Oct. 2004
4. S. Corson and J. Macker "Mobile Ad hoc Networking (MANET): Routing Protocol Performance Issues and Evaluation Considerations," IETF RFC 2501, Jan. 1999
5. F. Cristian, "Understanding fault-tolerant distributed systems," Communications of the ACM, Volume 34, Issue 2, Feb. 1991
6. F. Faberga, J. Herzog, and J. Guttman, "Strand Spaces: Prooving Security Protocols Correct," Journal of Computer Security, Vol. 7, no.2, pp. 191-230, 1999
7. M. Gordon and T. Melham, Eds., "Introduction to HOL: A Theorem Proving Environment for Higher Order Logic," Cambridge University Press, Cambridge, U.K., 1993
8. V. Hadzilacos and J. Y. Halpern, "Message-optimal protocols for Byzantine agreement," Mathematical Systems Theory, Volume 26, pp. 41-102, 1993
9. G. Holzmann, "The SPIN Model Checker," IEEE Trans. of Software Engineering, vol. 23, no. 5, pp. 279-295, 1997
10. Y-C. Hu, A. Perrig, and D. B. Johnson, "Ariadne: A secure on-demand routing protocol for ad hoc networks," in proc. of 8th ACM Mobicom,Sept 2002
11. P. Papadimitratos and Z.J. Haas, "Secure Routing for Mobile Ad Hoc Networks," in proc. of the SCS CNDS 2002, San Antonio, TX, Jan. 27-31, 2002
12. P. Papadimitratos and Z.J. Haas, "Secure Link State Routing for Mobile Ad Hoc Networks," in proc. of the IEEE CS WSAAN, Orlando, FL, Jan. 2003
13. P. Papadimitratos and Z.J. Haas, "Secure Message Transmission in Mobile Ad Hoc Networks," in proc. of the ACM WiSe, San Diego CA, Sept. 2003
14. P. Papadimitratos and Z. J. Haas, "Secure On-Demand Distance-Vector Routing in Ad Hoc Networks," in proc. of the IEEE Sarnoff Symposium, Princeton, NJ, Apr. 2005
15. P. Papadimitratos and Z. J. Haas, "Secure Route Discovery for QoS-Aware Routing in Ad Hoc Networks," in proc. of the IEEE Sarnoff Symposium, Princeton, NJ, Apr. 2005
16. R. Perlman, "Network Layer Protocols with Byzantine Robustness," Ph.D. dissertation, MIT/LCS/TR-429, MIT, Oct. 1988
17. K. Sanzgiri, B. Dahill, B.N. Levine, E. Royer, and C. Shields, "A Secure Routing Protocol for Ad Hoc Networks," in proc. of ICNP 2002, Nov. 2002
18. S. Yang and J. Baras, "Modeling Vulnerabilities of Ad Hoc Routing Protocols," in proc. of the ACM SASN, Fairfax, VA, Oct. 2003
19. M. G. Zapata and N. Asokan, "Securing Ad hoc Routing Protocols," in proc. of the ACM WiSe, Atlanta GA, Sept. 2002