Secure neighbor discovery in wireless networks: Formal investigation of possibility

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08

Volumn , Issue , 2008, Pages 189-200

  Poturalski, Marcin ^a   Papadimitratos, Panos ^a   Hubaux, Jean Pierre ^a  

^a EPFL   (Switzerland)

Author keywords

Relay attack; Secure neighbor discovery; Wireless networks security

Indexed keywords

BROAD SPECTRUM; BUILDING BLOCKES; FORMAL MODEL; GENERAL CLASS; IMPOSSIBILITY RESULTS; LOCATION-BASED PROTOCOLS; NEIGHBOR DISCOVERY; RELAY ATTACK; SECURE NEIGHBOR DISCOVERY; TACTICAL SYSTEMS; WIRELESS COMMUNICATIONS; WIRELESS SYSTEMS;

COMMUNICATION; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; RADIO COMMUNICATION; WIRELESS NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

NETWORK SECURITY;

EID: 58049188696     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368310.1368338     Document Type: Conference Paper

References (31)

1. Gergely Ács, Levente Buttyán, and István Vajda. Provably secure on-demand source routing in mobile ad hoc networks. IEEE Transactions on Mobile Computing, 5 (11):1533-1546, 2006.
2. Stefan Brands and David Chaum. Distance-bounding protocols. In EUROCRYPT '93: Workshop on the theory and application of cryptographic techniques on Advances in cryptology, pages 344-359, Secaucus, NJ, USA, 1994.
3. Laurent Bussard. Trust establishment protocols for communicating devices. PhD thesis, Thesis, October 2004.
4. Howard C. Choe, Clark E. Poole, Andrea M. Yu, and Harold H. Szu. Novel identification of intercepted signals from unknown radio transmitters. In H. H. Szu, editor, Proc. SPIE Vol. 2491, p. 504-517
5. Wavelet Applications II, Harold H. Szu; Ed., volume 2491 of Presented at the Society of Photo-Optical Instrumentation Engineers (SPIE) Conference, pages 504-517, April 1995.
6. Mauro Conti, Roberto Di Pietro, Luigi Vincenzo Mancini, and Alessandro Mei. A randomized, efficient, and distributed protocol for the detection of node replication attacks in wireless sensor networks. In MobiHoc '07: Proceedings of the 8th ACM international symposium on Mobile ad hoc networking and computing, pages 80-89, New York, NY, USA, 2007. ACM.
7. Danny Dolev and Andrew Chi-Chih Yao. On the security of public key protocols (extended abstract). In FOCS, pages 350-357, 1981.
8. K. J. Ellis and Nur Serinken. Characteristics of radio transmitter fingerprints, 2001. Radio Science, Volume 36, Issue 4, p. 585-598.
9. Jakob Eriksson, Srikanth V. Krishnamurthy, and Michalis Faloutsos. Truelink: A practical countermeasure to the wormhole attack in wireless networks. In ICNP '06. Proceedings of the 2006 14th IEEE International Conference on Network Protocols, pages 75-84, 2006.
10. Virgil D. Gligor. Security of emergent properties in ad-hoc networks (transcript of discussion). In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols Workshop, volume 3957 of Lecture Notes in Computer Science, pages 256-266, 2004.
11. Gerhard Hancke and Markus Kuhn. An RFID distance bounding protocol. In Conference on Security and Privacy for Emerging Areas in Communication Networks - SecureComm 2005, Athens, Greece, September 2005. IEEE.
12. Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, and John C. Mitchell. A modular correctness proof of IEEE 802.11i and TLS. In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security, pages 2-15, New York, NY, USA, 2005.
13. Lingxuan Hu and David Evans. Using directional antennas to prevent wormhole attacks. In Symposium on Network and Distributed Systems Security (NDSS), 2004.
14. Yih-Chun Hu, Adrian Perrig, and David B. Johnson. Packet leashes: A defense against wormhole attacks in wireless networks. In IEEE Conference on Computer Communications INFOCOM, 2003.
15. Ritesh Maheshwari, Jie Gao, and Samir R. Das. Detecting wormhole attacks in wireless networks using connectivity information. In IEEE Conference on Computer Communications INFOCOM, 2007.
16. Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, and Paul Syverson. Distance bounding protocols: Authentication logic analysis and collusion attacks. In Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks. Springer-Verlag, Series: Advances in Information Security, Vol. 30 Poovendran, Radha; Wang, Cliff; Roy, Sumit (Eds.), 2007.
17. Sebastian Nanz and Chris Hankin. A framework for security analysis of mobile wireless networks. Theoretical Computer Science, 367 (1):203-227, 2006.
18. James Newsome, Elaine Shi, Dawn Song, and Adrian Perrig. The sybil attack in sensor networks: analysis & defenses. In IPSN '04: Proceedings of the third international symposium on Information processing in sensor networks, pages 259-268, New York, NY, USA, 2004. ACM.
19. Panagiotis Papadimitratos, Zygmunt Haas, and Jean-Pierre Hubaux. How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET. In IEEE-CS Third International Conference on BroadBand Communcations, Networks, and Systems, 2006.
20. Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David Basin, Srdjan Čapkun, and Jean-Pierre Hubaux. Secure neighborhood discovery: A fundamental element for mobile ad hoc networking. IEEE Communications Magazine, February 2008.
21. Bryan Parno, Adrian Perrig, and Virgil Gligor. Distributed detection of node replication attacks in sensor networks. IEEE Symposium on Security and Privacy, 8-11 May 2005.
22. Radha Poovendran and Loukas Lazos. A graph theoretic framework for preventing the wormhole attack in wireless ad hoc networks. Wireless Networks, 13 (1):27-59, 2007.
23. Marcin Poturalski, Panos Papadimitratos, and Jean-Pierre Hubaux. Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possiblity. Technical report, EPFL, 2007.
24. Kasper Bonne Rasmussen and Srdjan Čapkun. Implications of radio fingerprinting on the security of sensor networks. Technical Report 536, ETH Zürich, 2006.
25. Jason Reid, Juan M. Gonzalez Nieto, Tee Tang, and Bouchra Senadji. Detecting relay attacks with timing-based protocols. In ASIACCS '07: Proceedings of the 2nd ACM symposium on Information, computer and communications security, pages 204-213, New York, NY, USA, 2007.
26. Naveen Sastry, Umesh Shankar, and David Wagner. Secure verification of location claims. In WiSe '03: Proceedings of the 2nd ACM workshop on Wireless security, pages 1-10, New York, NY, USA, 2003. ACM.
27. Önder H. Tekbaş, Nur Serinken, and Oktay Üreten. An experimental performance evaluation of a novel radio-transmitter identification system under diverse environmental conditions. IEEE Canadian Journal of Electrical and Computer Engineering, 29, July 2004.
28. Srdjan Čapkun, Levente Buttyán, and Jean-Pierre Hubaux. SECTOR: secure tracking of node encounters in multi-hop wireless networks. In SASN '03: Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks, pages 21-32, New York, NY, USA, 2003.
29. Srdjan Čapkun and Jean-Pierre Hubaux. Secure Positioning in Wireless Networks. IEEE Journal on Selected Areas in Communications (JSAC), 24 (2):221-232, 2006.
30. Srdjan Čapkun, Mario Čagalj, and Mani Srivastava. Securing localization with hidden and mobile base stations. In IEEE Conference on Computer Communications (INFOCOM), April 2006.
31. Shahan Yang and John S. Baras. Modeling vulnerabilities of ad hoc routing protocols. In SASN '03: Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks, pages 12-20, New York, NY, USA, 2003.