Formal validation of authentication scheme in 5G-enabled vehicular networks using AVISPA

Abstract

Smart transportation may come from 5G-enabled cars. Traffic reports include congestion, roads, and driving. Urbanisation and population growth increase traffic accidents and travel time. Traffic accidents kill and injure most people worldwide. Intelligent transportation systems (ITS) improves driver and pedestrian safety. This study connects the VANET to 5G to create a 5G-enabled vehicle network because the road-side unit (RSU) is expensive and unsecure. This study connects numerous automobiles to TA for 5G-BS D2D communication. Data transmissions between autos are risky. Several scholars suggest authentication techniques for safe vehicle-to-vehicle communications. Overhead may enable side-channel attacks with these tactics. A secure and effective efficient and secure authentication-privacy-preserving (ES-APP) system connected TA, 5G-BS, and on-border unit (OBU) was presented. Initialization, vehicle registration, parameter renewal, message signing, single and batch verification are ES-APP steps. The formal evaluation automated verification of internet security protocols and applications (AVISPA) tool with on-the-fly model-checker (OFMC) and attack searcher (ATSE) back-ends secures the suggested ES-APP technique. ES-APP appears impervious to active and passive AVISPA assaults.