Abstract
In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The proposed approach is an adaptation of the simulation paradigm that is used extensively for the analysis of cryptographic algorithms and protocols, and it provides a rigorous method for proving that a given routing protocol is secure. We demonstrate the approach by representing known and new attacks on SAODV in our framework, and by proving that ARAN is secure in our model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ács, G., Buttyán, L., Vajda, I.: Provably Secure On-demand Source Routing in Mobile Ad Hoc Networks. Technical Report, Budapest University of Technology and Economics (March 2005), Available on-line at http://www.hit.bme.hu/~buttyan/publications.html
Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8(1), 18–36 (1990)
Buttyán, L., Vajda, I.: Towards provable security for ad hoc routing protocols. In: Proceedings of the ACM Workshop on Security in Ad Hoc and Sensor Networks (SASN) (October 2004)
Focardi, R., Gorrieri, R. (eds.): Foundations of Security Analysis and Design. LNCS, vol. 2171. Springer, Heidelberg (2000)
Guttman, J.: Security goals: packet trajectories and strand spaces. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol. 2171, p. 197. Springer, Heidelberg (2001)
Hu, Y.-C., Perrig, A., Johnson, D.: Ariadne: A secure on-demonad routing protocol for ad hoc networks. In: Proceedings of the ACM Conference on Mobile Computing and Networking, Mobicom (2002)
Hu, Y.-C., Perrig, A.: A survey of secure wireless ad hoc routing. IEEE Security and Privacy Magazine 2(3), 28–39 (2004)
Johnson, D., Maltz, D.: Dynamic source routing in ad hoc wireless networks. In: Imielinski, T., Korth, H. (eds.) Mobile Computing, ch. 5, pp. 153–181. Kluwer Academic Publisher, Dordrecht (1996)
Mao, W.: Modern Cryptography: Theory and Practice. Prentice Hall PTR, Englewood Cliffs (2004)
Marshall, J.: An Analysis of the Secure Routing Protocol for mobile ad hoc network route discovery: using intuitive reasoning and formal verification to identify flaws. MSc thesis, Department of Computer Science, Florida State University (April 2003)
Papadimitratos, P., Haas, Z.: Secure routing for mobile ad hoc networks. In: Proceedings of SCS Communication Networks and Distributed Systems Modelling Simulation Conference, CNDS (2002)
Perkins, C., Royer, E.: Ad hoc on-demand distance vector routing. In: Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications, February 1999, pp. 90–100 (1999)
Sanzgiri, K., Dahill, B., Levine, B., Shields, C., Belding-Royer, E.: A secure routing protocol for ad hoc networks. In: Proceedings of the International Conference on Network Protocols, ICNP (2002)
Zapata, M.G., Asokan, N.: Securing ad hoc routing protocols. In: Proceedings of the ACM Workshop on Wireless Security, WiSe (2002)
Yang, S., Baras, J.: Modeling vulnerabilities of ad hoc routing protocols. In: Proceedings of the ACM Workshop on Security of Ad Hoc and Sensor Networks (October 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ács, G., Buttyán, L., Vajda, I. (2005). Provable Security of On-Demand Distance Vector Routing in Wireless Ad Hoc Networks. In: Molva, R., Tsudik, G., Westhoff, D. (eds) Security and Privacy in Ad-hoc and Sensor Networks. ESAS 2005. Lecture Notes in Computer Science, vol 3813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11601494_10
Download citation
DOI: https://doi.org/10.1007/11601494_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30912-3
Online ISBN: 978-3-540-31615-2
eBook Packages: Computer ScienceComputer Science (R0)