SPECS: Secure and privacy enhancing communications schemes for VANETs

Abstract

Vehicular ad hoc network (VANET) is an emerging type of networks which facilitates vehicles on roads to communicate for driving safety. The basic idea is to allow arbitrary vehicles to broadcast ad hoc messages (e.g. traffic accidents) to other vehicles. However, this raises the concern of security and privacy. Messages should be signed and verified before they are trusted while the real identity of vehicles should not be revealed, but traceable by authorized party. Existing solutions either rely heavily on a tamper-proof hardware device, or cannot satisfy the privacy requirement and do not have an effective message verification scheme. In this paper, we provide a software-based solution which makes use of only two shared secrets to satisfy the privacy requirement (with security analysis) and gives lower message overhead and at least 45% higher successful rate than previous solutions in the message verification phase using the bloom filter and the binary search techniques (through simulation study). We also provide the first group communication protocol to allow vehicles to authenticate and securely communicate with others in a group of known vehicles.

A Novel Region Based Multipath Routing Algorithm for Vehicular Ad-hoc Networks

“…In the analytical analysis, they have elaborately evaluated ABAKA with current standard ECDSA schemes and other batch-based schemes in terms of verification delay and transmission overhead, as well as the verification cost for rebatch verifications. Chim et al [16] they proposed two secure and privacy enhancing communications schemes for VANETs to handle ad hoc messages and group messages for inter-vehicle communications. They are also the first to propose a group communications protocol to allow known vehicles to form a group for secure communications.…”

“…Temporally Ordered Routing Algorithm (TORA) [16] it belongs to a class of algorithm called the link reversal algorithm. TORA attempt to build DAG (Directed Acyclic Graph) towards destination is based on the height of the tree rooted at the source.…”

Privacy-Preserving Information Gathering Using VANET

“…Also some other researchers are trying to reduce the computation overhead induced by security operations. For example, authors in [8] and [9] propose an efficient batch signature verification technique.…”

Security Attacks and Solutions in Vehicular Ad Hoc Networks: A Survey

“…That is the reason why this kind of privacy is called conditional privacy. The work done in [19], [20] proposes a scheme, called SPECS (Secure and Privacy Enhancing Communications Schemes), to ensure the security and privacy issues of V2V (Vehicle-To-Vehicle) communications and detect the impersonation attacks. This approach is based on the idea of IBV (Identity-Based Batch Verification) Scheme [21], which suffers from impersonation attack and cannot fulfill privacy requirements.…”

“…To protect the identity of each vehicle it uses pseudo-identity and a shared secret key m i between a vehicle and RSU. The security scheme [3], [20] works as follows:…”