Modelling adversaries and security objectives for routing protocols in wireless sensor networks

Proceedings of the Fourth ACM Workshop on Security of ad hoc and Sensor Networks, SASN 2006. A workshop held in conjuction with the 13th ACM Conference on Computer and Communications Security, CCS'06

Volumn , Issue , 2006, Pages 49-58

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

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Adversary model; Provable security; Routing protocols; Sensor networks; Simulatability

Indexed keywords

COMPUTER SIMULATION; CRYPTOGRAPHY; FUNCTIONAL ANALYSIS; NETWORK SECURITY; TELECOMMUNICATION SERVICES; WIRELESS SENSOR NETWORKS;

ADVERSARY MODELS; FUNCTIONALITY; PROVABLE SECURITY; ROUTING SERVICES;

ROUTING PROTOCOLS;

EID: 34547461706     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1180345.1180352     Document Type: Conference Paper

References (18)

1. G. Ács, L. Buttyán, and I. Vajda. Provable Security of On-Demand Distance Vector Routing in Wireless Ad Hoc Networks. In Proceedings of the Second European Workshop on Security and Privacy in Ad Hoc and Sensor Networks (ESAS 2005), July 2005.
2. G. Acs, L. Buttyán, and I. Vajda. Provably Secure On-demand Source Routing in Mobile Ad Hoc Networks. To appear in IEEE Transactions on Mobile Computing.
3. M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the A CM Symposium on the Theory of Computing, 1998.
4. 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.
5. R,. Canetti. Universally composable security: A new paradigm for cryptographic protocols. In Proceedings of the 42nd IEEE Symposium on Foundations of Computer Science (FOCS), 2001.
6. D. Dolev and A. C. Yao. On the Security of Public Key Protocols. In IEEE Transactions on Information Theory 29 (2), 1983.
7. IEEE Standard for Information technology - Telecommunications and information exchange between systems-Local and metropolitan area networks - Specific requirements. Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs), 2003.
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. J. N. Al-Karaki and A. E. Kamal. Routing techniques in wireless sensor networks: a survey. In IEEE Wireless Communications, Volume 11, pp. 6-28, 2004.
10. C. Karlof, D. Wagner. Secure routing in wireless sensor networks: attacks and countermeasures. In Ad Hoc. Networks, Volume 1, 2003.
11. Q. Li, J. Aslam, and D. Rus. Hierarchical Power-aware Routing in Sensor Networks. In Proceedings of the DIMACS Workshop on Pervasive Networking, May, 2001.
12. 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.
13. 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.
14. A. Perrig, R. Szewczyk, V. Wen, D. Culler, J. D. Tygar. SPINS: Security Protocols for Sensor Networks. In Wireless Networks Journal (WINE), Volume 8, September 2002.
15. B. Pfitzman and M. Waidner. A model for asynchronous reactive systems and its application to secure message transmission. In Proceedings of the 22nd IEEE Symposium on Security & Privacy, 2001.
16. S. Singh, M. Woo, and C. Raghavendra. Power-Aware Routing in Mobile Ad Hoc Networks. In Proceedings of the Fourth Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom '98), Oct. 1998.
17. W. Xu, W. Trappe, Y. Zhang and T. Wood. The Feasibility of Launching and Detecting Jamming Attacks in Wireless Networks. In Proceedings of the 6th ACM International Symposium on Mobile Ad Hoc Networking and Computing (Mobi Hoc'05), May 2005.
18. 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.