How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET

Panos Papadimitratos, Zygmunt J. Haas, Jean‐Pierre Hubaux

Type: Preprint

Publication Date: 2006-10-01

Citations: 24

DOI: https://doi.org/10.1109/broadnets.2006.4374344

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 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.

Locations

arXiv (Cornell University) - View - PDF
Infoscience (Ecole Polytechnique Fédérale de Lausanne) - View - PDF
KTH Publication Database DiVA (KTH Royal Institute of Technology) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Secure Routing for Mobile Ad hoc Networks	2024	Panos Papadimitratos Zygmunt J. Haas
+ PDF Chat	Secure link state routing for mobile ad hoc networks	2003	Panos Papadimitratos Zygmunt J. Haas
+	A Survey on Security Issues in Ad Hoc Routing Protocols and their Mitigation Techniques	2012	Harshavardhan Kayarkar
+	Security Challenges in Mobile Ad Hoc Networks: A Survey	2015	Ali Dorri Seyed Reza Kamel
+	Various Secure Routing Schemes for MANETs: A Survey	2020	Priya R. Soni Charmi A. Joshi Dhwani R. Bhadra Nikita P. Vyas Rutvij H. Jhaveri
+	Secure and reliable routing in mobile adhoc networks	2012	Rachid Haboub Mohammed Ouzzif
+	Secure And Reliable Routing In Mobile Adhoc Networks	2012	Rachid Haboub
+	Secure and reliable routing in mobile adhoc networks	2012	Rachid Haboub Mohammed Ouzzif
+	A Survey of Routing Attacks and Security Measures in Mobile Ad-Hoc Networks	2011	Sudhir Agrawal Sanjeev Jain Sanjeev Sharma
+ PDF Chat	A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks	2013	Zhe Chen Daqiang Zhang Rongbo Zhu Yinxue Ma Ping Yin Feng Xie
+	A Survey of Routing Attacks and Security Measures in Mobile Ad-Hoc Networks	2011	Sudhir Agrawal J. Sanjeev Sanjeev Sharma
+ PDF Chat	Modeling and efficient verification of wireless ad hoc networks	2017	Behnaz Yousefi Fatemeh Ghassemi Ramtin Khosravi
+	Secure Routing Protocol To Mitigate Attacks By Using Blockchain Technology In Manet	2023	Nitesh Ghodichor Raj Thaneeghavl. V Dinesh Kumar Sahu Gautam M. Borkar Ankush D. Sawarkar
+	Secure Routing Protocol to Mitigate Attacks by using Blockchain Technology in MANET	2023	Nitesh Ghodichor Raj Thaneeghavl Dinesh Kumar Sahu Gautam M. Borkar Ankush D. Sawarkar
+	Secure Routing and Data Transmission in Mobile Ad Hoc Networks	2014	Waleed S. Alnumay Uttam Ghosh
+	Secure Routing and Data Transmission in Mobile Ad Hoc Networks	2014	Waleed S. Alnumay Uttam Ghosh
+	Secure Routing and Data Transmission in Mobile Ad Hoc Networks	2014	Waleed S. Alnumay Uttam Ghosh
+	ADAPTIVE AND SECURE ROUTING PROTOCOL FOR EMERGENCY MOBILE AD HOC NETWORKS	2010	Emmanouil Panaousis Tipu Arvind Ramrekha Grant P. Millar Christos Politis
+	Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs	2018	Zafar Iqbal Tahreem Saeed T. Rafiq Ahsan Humayun
+	A Test-Bed Implementation for Securing OLSR In Mobile Ad-Hoc Networks	2010	Emmanouil Panaousis George Drew Grant P. Millar Tipu Arvind Ramrekha Christos Politis

Works That Cite This (3)

Action	Title	Year	Authors
+	Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possibility	2008	Marcin Poturalski Panos Papadimitratos Jean‐Pierre Hubaux
+	Towards Provable Secure Neighbor Discovery in Wireless Networks	2008	Marcin Poturalski Panos Papadimitratos Jean‐Pierre Hubaux
+ PDF Chat	Towards provable secure neighbor discovery in wireless networks	2008	Marcin Poturalski Panos Papadimitratos Jean‐Pierre Hubaux

Works Cited by This (1)

Action	Title	Year	Authors
+ PDF Chat	Secure link state routing for mobile ad hoc networks	2003	Panos Papadimitratos Zygmunt J. Haas