Provable security fof on-demand distance vector routing in wireless ad hoc networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3813 LNCS, Issue , 2005, Pages 113-127

  Ács, Gergely ^a   Buttyán, Levente ^a   Vajda, István ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SIMULATION; CRYPTOGRAPHY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; ROUTERS; WIRELESS TELECOMMUNICATION SYSTEMS;

CRYPTOGRAPHIC ALGORITHMS; CRYPTOGRAPHIC PROTOCOLS; VECTOR ROUTING; WIRELESS AD HOC NETWORKS;

SECURITY OF DATA;

EID: 33745747748     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11601494_10     Document Type: Conference Paper

References (15)

1. G. Ács, L. Buttyán, and I. Vajda. 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
2. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, February 1990.
3. L. Buttyán and I. Vajda. 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.
4. R. Focardi and R. Gorrieri (eds). Foundations of Security Analysis and Design. LNCS 2171, Springer-Verlag, 2000.
5. J. Guttman. Security goals: packet trajectories and strand spaces. In Foundations of Security Analysis and Design, edited by R. Focardi and R. Gorrieri, Springer LNCS 2171, 2000.
6. Y.-C. Hu, A. Perrig, and D. Johnson. Ariadne: A secure on-demonad routing protocol for ad hoc networks. In Proceedings of the ACM Conference on Mobile Computing and Networking (Mobicom), 2002.
7. Y.-C. Hu and A. Perrig. A survey of secure wireless ad hoc routing. IEEE Security and Privacy Magazine, 2(3):28-39, May/June 2004.
8. D. Johnson and D. Maltz. Dynamic source routing in ad hoc wireless networks. In Mobile Computing, edited by Tomasz Imielinski and Hank Korth, Chapter 5, pages 153-181. Kluwer Academic Publisher, 1996.
9. W. Mao. Modern Cryptography: Theory and Practice. Prentice Hall PTR, 2004.
10. J. Marshall. 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.
11. P. Papadimitratos and Z. Haas. Secure routing for mobile ad hoc networks. In Proceedings of SCS Communication Networks and Distributed Systems Modelling Simulation Conference (CNDS), 2002.
12. C. Perkins and E. Royer. Ad hoc on-demand distance vector routing. In Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications, pp. 90-100, February 1999.
13. K. Sanzgiri, B. Dahill, B. Levine, C. Shields, and E. Belding-Royer. A secure routing protocol for ad hoc networks. In Proceedings of the International Conference on Network Protocols (ICNP), 2002.
14. M. G. Zapata and N. Asokan. Securing ad hoc routing protocols. Proceedings of the ACM Workshop on Wireless Security (WiSe), 2002.
15. S. Yang and J. Baras. Modeling vulnerabilities of ad hoc routing protocols. In Proceedings of the ACM Workshop on Security of Ad Hoc and Sensor Networks, October 2003.