Vehicular ad hoc networks verification scheme based on bilinear pairings and networks reverse fuzzy extraction
Zaid Ameen Abduljabbar
(Department of Computer Science, College of Education for Pure Sciences, University of Basrah)
Vincent Omollo Nyangaresi
(Department of Computer Science and Software Engineering, Jaramogi Oginga Odinga University of Science & Technology)
Ahmed Ali Ahmed
(Department of Management and Marketing, College of Industrial Management for Oil and Gas, Basrah University for Oil and Gas)
Junchao Ma
(College of Big Data and Internet, Shenzhen Technology University)
Mustafa A. Al Sibahee
(Department of Management and Marketing, College of Industrial Management for Oil and Gas, Basrah University for Oil and Gas)
Mohammed Abdulridha Hussain
(Department of Computer Science, College of Education for Pure Sciences, University of Basrah)
Zaid Alaa Hussien
(Information Technology Department, Management Technical College, Southern Technical University)
Ali Hasan Ali
(Department of Mathematics, College of Education for Pure Sciences, University of Basrah)
Abdulla J. Y. Aldarwish
(Department of Computer Science, College of Education for Pure Sciences, University of Basrah)
Husam A. Neamah
(Department of Electrical Engineering and Mechatronics, Faculty of Engineering, University of Debrecen)
Abstract Vehicular Ad-Hoc Networks (VANETs) have facilitated the massive exchange of real-time traffic and weather conditions, which have helped prevent collisions, reduce accidents, and road congestions. This can effectively enhance driving safety and efficiency in technology-driven transportation systems. However, the transmission of massive and sensitive information across public wireless communication channels exposes the transmitted data to a myriad of privacy as well as security threats. Although past researches has developed many vehicular ad-hoc networks security preservation schemes, several of them are inefficient or susceptible to attacks. This work, introduces an approach that leverages reverse fuzzy extraction, bilinear pairing, and Physically Unclonable Function (PUF) to design an efficient and anonymity-preserving authentication scheme. We conduct an elaborate formal security analysis to demonstrate that the derived session key is secure. The semantic security analyses also demonstrate its resilience against typical VANET attacks such as impersonations, denial of service, and de-synchronization, instilling confidence in its effectiveness. Moreover, our approach incurs the lowest computational overheads at relatively low communication costs. Specifically, our protocol attains a 66.696% reduction in computation costs, and a 70% increment in the supported security functionalities.
Zaid Ameen Abduljabbar, Vincent Omollo Nyangaresi, Ahmed Ali Ahmed, et al. (2025). "Vehicular ad hoc networks verification scheme based on bilinear pairings and networks reverse fuzzy extraction". Scientific Reports. https://doi.org/10.1038/s41598-025-15011-x