Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Effective and robust operations, as well as security and privacy are critical for the deployment of vehicular ad hoc networks (VANETs). Efficient and easy-to-manage security and privacy-enhancing mechanisms are essential for the wide-spread adoption of the VANET technology. In this paper, we are concerned with this problem; and in particular, how to achieve efficient and robust pseudonym-based authentication. We design mechanisms that reduce the security overhead for safety beaconing, and retain robustness for transportation safety, even in adverse network settings. Moreover, we show how to enhance the availability and usability of privacy-enhancing VANET mechanisms: Our proposal enables vehicle on-board units to generate their own pseudonyms, without affecting the system security.

REFERENCES

• 1: The CVIS project, http://www.cvisproject.org/.
• 2: DSRC: Dedicated short range communications. http://grouper.ieee.org/groups/scc32/dsrc/index.html.
• 3: Openssl. http://www.openssl.org.
• 4: IEEE 1363a 2004. IEEE standard specifications for public-key cryptography- amendment 1: Additional techniques, 2004.
• 5: A. Aijaz, B. Bochow, F. Dotzer, A. Festag, Matthias Gerlach, Rainer Kroh, and Tim Leinmuuller. Attacks on intervehicle communication systems -- an analysis. In 3nd International Workshop on Intelligent Transportation.
• 6: F. Armknecht, A. Festag, D. Westhoff, and K. Zeng. Cross-layer privacy enhancement and non-repudiation in vehicular communication. In WMAN 2007, Bern, March 2007.
• 7: Giuseppe Ateniese , Gene Tsudik, Group signatures á la carte, Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms, p.848-849, January 17-19, 1999, Baltimore, Maryland, United States
• 8: M. Bellare, D. Micciancio, and B. Warinschi. Foundations of group signatures: formal definition, simplified requirements and a construction based on trapdoor permutations. In Eli Biham, editor, Advances in cryptology -- EUROCRYPT 2003, volume 2656 of Lecture Notes in Computer Science, pages 614--629, Warsaw, Poland, May 2003. Springer-Verlag.
• 9: M. Bellare, H. Shi, and C. Zhang. Foundations of group signatures: The case of dynamic groups. In CT-RSA'05, Lecture Notes in Computer Science, Springer-Verlag, 2004.
• 10: J. Blum and A. Eskandarian. The threat of intelligent collisions. IT Professional, Vol.6:24--29, 2004.
• 11: D. Boneh, X. Boyen, and H. Shacham. Short group signatures, 2004.
• 12: Dan Boneh , Hovav Shacham, Group signatures with verifier-local revocation, Proceedings of the 11th ACM conference on Computer and communications security, October 25-29, 2004, Washington DC, USA [doi>10.1145/1030083.1030106]
• 13: Ernie Brickell , Jan Camenisch , Liqun Chen, Direct anonymous attestation, Proceedings of the 11th ACM conference on Computer and communications security, October 25-29, 2004, Washington DC, USA [doi>10.1145/1030083.1030103]
• 14: Michael Brown , Darrel Hankerson , Julio López , Alfred Menezes, Software Implementation of the NIST Elliptic Curves Over Prime Fields, Proceedings of the 2001 Conference on Topics in Cryptology: The Cryptographer's Track at RSA, p.250-265, April 08-12, 2001
• 15: David Chaum, Security without identification: transaction systems to make big brother obsolete, Communications of the ACM, v.28 n.10, p.1030-1044, Oct. 1985 [doi>10.1145/4372.4373]
• 16: D. Chaum and E. van Heyst. Group signatures. In EUROCRYPT, pages 257--265, 1991.
• 17: M. Gerlach. VaneSe -- an approach to vanet security. In V2VCOM 2005, San Diego, California, USA, 2005.
• 18: M. Gerlach, A. Festag, T. Leinmuller, G. Goldacker, and C. Harsch. Security architecture for vehicular communication. In WIT 2005, Hamburg, Germany.
• 19: Philippe Golle , Dan Greene , Jessica Staddon, Detecting and correcting malicious data in VANETs, Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks, October 01-01, 2004, Philadelphia, PA, USA [doi>10.1145/1023875.1023881]
• 20: IEEE1609.2. IEEE trial-use standard for wireless access in vehicular environments -- security services for applications and management messages, July 2006.
• 21: M. Jakobsson, X. Wang, and S. Wetzel. Stealth attacks in vehicular technologies. In VTC-Fall 2004.
• 22: N. Koblitz and A. Menezes. Pairing-based cryptography at high security levels. Cryptology ePrint Archive, Report 2005/076, 2005.
• 23: K. Laberteaux and Y.-C.Hu. Strong vanet security on a budget. In ESCAR 2006.
• 24: M. Li, R. Poovendran, K. Sampigethaya, and L. Huang. Caravan: Providing location privacy for vanet. In ESCAR 2005.
• 25: M. Nakagami. The m-distribution, a general formula of intensity distribution of the rapid fading. In W. G. Hoffman, editor, Statistical methods in radio wave propagation, pages 3--36, Oxford, 1960. Pergamon.
• 26: P. Papadimitratos, L. Buttyan, J-P. Hubaux, F. Kargl, A. Kung, and M. Raya. Architecture for secure and private vehicular communications. In ITST'07, Sophia Antipolis, France.
• 27: P. Papadimitratos, V. Gligor, and J.-P. Hubaux. Securing Vehicular Communications -- Assumptions, Requirements, and Principles. In ESCAR 2006.
• 28: B. Parno and A.Perrig. Challenges in securing vehicular networks. In HotNets-IV, 2005.
• 29: Maxim Raya , Jean-Pierre Hubaux, The security of vehicular ad hoc networks, Proceedings of the 3rd ACM workshop on Security of ad hoc and sensor networks, November 07-07, 2005, Alexandria, VA, USA [doi>10.1145/1102219.1102223]
• 30: M. Raya, P. Papadimitratos, and J.-P. Hubaux. Securing vehicular communications. IEEE Wireless Communications magazine, Volume 13, Issue 5, October 2006.
• 31: Paul F. Syverson , Stuart G. Stubblebine, Group Principals and the Formalization of Anonymity, Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I, p.814-833, September 20-24, 1999
• 32: Marc Torrent-Moreno , Steven Corroy , Felix Schmidt-Eisenlohr , Hannes Hartenstein, IEEE 802.11-based one-hop broadcast communications: understanding transmission success and failure under different radio propagation environments, Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems, October 02-06, 2006, Terromolinos, Spain [doi>10.1145/1164717.1164731]
• 33: Marc Torrent-Moreno , Daniel Jiang , Hannes Hartenstein, Broadcast reception rates and effects of priority access in 802.11-based vehicular ad-hoc networks, Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks, October 01-01, 2004, Philadelphia, PA, USA [doi>10.1145/1023875.1023878]
• 34: M. Torrent-Moreno, P. Santi, and H. Hartenstein. Distributed fair transmit power adjustment for vehicular ad hoc networks. In SECON '06, pages 479--488, 2006.
• 35: Qing Xu , Tony Mak , Jeff Ko , Raja Sengupta, Vehicle-to-vehicle safety messaging in DSRC, Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks, October 01-01, 2004, Philadelphia, PA, USA [doi>10.1145/1023875.1023879]
• 36: M. El Zarki, S. Mehrotra, G. Tsudik, and N. Venkatasubramanian. Security issues in a future vehicular network.
• 37: K. Zeng. Pseudonymous pki for ubiquitous computing. In EuroPKI, pages 207--222, Turin, Italy, June 2006.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.0 General
          Subjects: Security and protection (e.g., firewalls)

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design
          Subjects: Wireless communication

General Terms:
Performance, Reliability, Security

Keywords:
performance, reliability, security, vehicular networks