Message Verification Protocol Based on Bilinear Pairings and Elliptic Curves for Enhanced Security in Vehicular Ad Hoc Networks  

作　　者：Vincent Omollo Nyangaresi Arkan A.Ghaib Hend Muslim Jasim Zaid Ameen Abduljabbar Junchao Ma Mustafa A.Al Sibahee Abdulla J.Y.Aldarwish Ali Hasan Ali Husam A.Neamah 

机构地区：[1]Department of Computer Science and Software Engineering,Jaramogi Oginga Odinga University of Science and Technology,Bondo,40601,Kenya [2]Department of Applied Electronics,Saveetha School of Engineering,SIMATS,Chennai,Tamilnadu,602105,India [3]Information Technology Department,Management Technical College,Southern Technical University,Basrah,61004,Iraq [4]Department of Computer Science,College of Education for Pure Sciences,University of Basrah,Basrah,61004,Iraq [5]College of Big Data and Internet,Shenzhen Technology University,Shenzhen,518118,China [6]Huazhong University of Science and Technology,Shenzhen Institute,Shenzhen,518000,China [7]National Engineering Laboratory for Big Data System Computing Technology,Shenzhen University,Shenzhen,518060,China [8]Computer Technology Engineering Department,Iraq University College,Basrah,61004,Iraq [9]Department of Mathematics,College of Education for Pure Sciences,University of Basrah,Basrah,61004,Iraq [10]Institute of Mathematics,University of Debrecen,Debrecen,H-4002,Hungary [11]Department of Electrical Engineering and Mechatronics,Faculty of Engineering,University of Debrecen,Debrecen,4028,Hungary

出　　处：《Computers, Materials & Continua》2024年第10期1029-1057,共29页计算机、材料和连续体（英文）

基　　金：supported by Teaching Reform Project of Shenzhen University of Technology under Grant No.20231016.

摘　　要：Vehicular ad hoc networks(VANETs)provide intelligent navigation and efficient route management,resulting in time savings and cost reductions in the transportation sector.However,the exchange of beacons and messages over public channels among vehicles and roadside units renders these networks vulnerable to numerous attacks and privacy violations.To address these challenges,several privacy and security preservation protocols based on blockchain and public key cryptography have been proposed recently.However,most of these schemes are limited by a long execution time and massive communication costs,which make them inefficient for on-board units(OBUs).Additionally,some of them are still susceptible to many attacks.As such,this study presents a novel protocol based on the fusion of elliptic curve cryptography(ECC)and bilinear pairing(BP)operations.The formal security analysis is accomplished using the Burrows–Abadi–Needham(BAN)logic,demonstrating that our scheme is verifiably secure.The proposed scheme’s informal security assessment also shows that it provides salient security features,such as non-repudiation,anonymity,and unlinkability.Moreover,the scheme is shown to be resilient against attacks,such as packet replays,forgeries,message falsifications,and impersonations.From the performance perspective,this protocol yields a 37.88%reduction in communication overheads and a 44.44%improvement in the supported security features.Therefore,the proposed scheme can be deployed in VANETs to provide robust security at low overheads.

关 键 词：ATTACKS BILINEAR elliptic curve cryptography(ECC) PRIVACY SECURITY vehicular ad hoc network(VANET) 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]