Privacy‐preserving authentication scheme for on‐road on‐demand refilling of pseudonym in VANET. (18th July 2019)

• Record Type: Journal Article
• Authors: Benarous, Leila; Kadri, Benamar; Bitam, Salim; Mellouk, Abdelhamid
• Other Names: Souihi Sami guestEditor.; Bitam Salim guestEditor.; Mellouk Abdelhamid guestEditor.; Abreu Thiago guestEditor.; Hoceini Said guestEditor.; Fowler Scott guestEditor.; Medileh Saci guestEditor.; De Swades guestEditor.; Shami Abdallah guestEditor.
• Is Part Of: International journal of communication systems. Volume 33:Number 10(2020)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2019-07-18
• Subjects: AVISPA -- anonymously authenticate -- BAN logic -- on‐demand pseudonym refilling -- privacy‐preserving scheme -- SPAN; Telecommunication systems -- Periodicals; 621.382
• DOI: 10.1002/dac.4087
• Languages: English
• ISSNs: 1074-5351

Abstract

Summary: Privacy in Vehicular Ad Hoc Networks (VANET) is fundamental because the user's safety may be threatened by the identity and the real‐time spatiotemporal data exchanged on the network. This issue is commonly addressed by the use of certified temporal pseudonyms and their updating strategies to ensure the user's unlinkability and anonymity. IEEE 1609.2 Standard specified the process of certifying pseudonym along with certificates structure. However, the communication procedure between the certifying authority and the requesting vehicle was not defined. In this paper, a new privacy‐preserving solution for pseudonym on‐road on‐demand refilling is proposed where the vehicle anonymously authenticates itself to the regional authority subsidiary of the central trusted authority to request a new pseudonyms pool. The authentication method has two phases, the first one uses anonymous tickets, and the second one is a challenge‐based authentication. The anonymous tickets are certificates that do not include the identity of the user. Instead, it contains a reference number and the certifying authority signature. The challenge authentication is identity‐less to preserve the privacy, yet it is used to prevent the misuse of tickets and the impersonation of its owner. Our proposed scheme is analyzed by the use of Burrows, Abadi and Needham (BAN) logic to demonstrate its correctness. It is also specified and checked by using the Security Protocol ANimator (SPAN) and the Automated Validation of Internet Security Protocols and Applications (AVISPA) tools. The logical demonstration proved that this privacy‐preserving authentication is assured. The SPAN and AVISPA tools illustrated that it is resilient to security attacks. Abstract : The figure illustrates the proposed anonymous authentication method. It preserves the privacy when requesting pseudonym refilling on roads. It uses tickets and challenge phase to authenticate the vehicles without exchanging the identity on the network.