Research Article
An Efficient Mutual Authentication Framework with Conditional Privacy Protection in VANET
@INPROCEEDINGS{10.1007/978-3-030-30146-0_53, author={Ying Wang and Jing Hu and Xiaohong Li and Zhiyong Feng}, title={An Efficient Mutual Authentication Framework with Conditional Privacy Protection in VANET}, proceedings={Collaborative Computing: Networking, Applications and Worksharing. 15th EAI International Conference, CollaborateCom 2019, London, UK, August 19-22, 2019, Proceedings}, proceedings_a={COLLABORATECOM}, year={2019}, month={8}, keywords={VANET Authentication Conditional privacy protection AVISPA Formal proof}, doi={10.1007/978-3-030-30146-0_53} }- Ying Wang
Jing Hu
Xiaohong Li
Zhiyong Feng
Year: 2019
An Efficient Mutual Authentication Framework with Conditional Privacy Protection in VANET
COLLABORATECOM
Springer
DOI: 10.1007/978-3-030-30146-0_53
Abstract
Vehicular Ad Hoc Network (VANET) is a special application of traditional Mobile Ad Hoc Network (MANET) in traffic roads, which has attracted extensive attention due to its important role in intelligent traffic and road services. In order to ensure the safety of road traffic and protect the privacy of users, it is of vital importance to provide effective anonymous authentication in VANET. In this paper, we propose an efficient mutual authentication framework with conditional privacy protection (EMAPP), which can achieve the security authentication from vehicles to infrastructure and vehicles to vehicles. In the proposed framework, we are combined with pseudo ID and temporary pseudonym to protect the privacy of vehicles, and use the identity-based signature scheme to achieve authentication between vehicles and infrastructure. At the same time, with the assistance of the roadside unit (RSU), we utilize an online/offline signature scheme to achieve authentication between vehicles in the same RSU area and different RSU area. Our scheme has reusability, and we have conducted a performance evaluation. Without expensive and time-consuming operations such as bilinear pairing and mapping to point (MTP) functions, our framework can produce better performance and is appropriate for practical application. In addition, we also use the Internet Security Protocol and Application Automatic Authentication (AVISPA) tools to provide formal security analysis.