An enhanced anonymity resilience security protocol for vehicular adhoc network with Scyther simulation Abstract   Vehicular AdHoc Network (VANET) refers to the wireless interconnection of vehicles for exchanging useful information among them. The transmitted information provides insight into safety and comfort in driving. It is also used in the analysis of traffic, road safety measures, vehicle performance data, and multimedia data transfer between vehicles using uninterrupted Internet connectivity. Adversaries can create several interruptions in the system after extracting sensitive information. Hence, a robust security protocol is essential to establish secure communication. In this article, we investigate the Bidi etxc2xa0al.xe2x80x99s protocol and find that the protocol has several important security flaws. We then propose a robust protocol that guarantees highlevel security protection on the existing security attacks and additionally, protects all related possible attacks. Furthermore, our simulation using Scyther confirms that all the private information is protected during establishing a common key. All the performance factors of the protocol are also superior in comparison with existing works.

Secure message propagation protocols for IoVs communication components Abstract   With the development of Internet of Vehicles (IoVs), the smart transportation field has achieved a lot of attention by providing a wide variety of benefits, such as enhanced road safety, reduced traffic congestion, traveler safety, and less pollution. It made the concept of xe2x80x98intelligence on wheelsxe2x80x99 into a real one. However, the highly dynamic nature of vehicles and insecure channels are the significant challenges in an IoV environment. In the existing researches, secure and lightweight protocols for the IoVs communication components are missing. In this paper, we design secure and lightweight communication protocols for different components of IoVs, such as V2V (VehicletoVehicle), V2P (VehicletoPortable Device), V2R (VehicletoRoad Side Unit), V2I (VehicletoInfrastructure), and V2S (VehicletoSensor). We have done indepth security analysis to ensure the resistant power against different strong attacks. Moreover, we have implemented the protocols on a Desktop Computer and Raspberry Pi. From the results, it is observed that the proposed protocols perform well in the perspectives of communication, storage, computation, and battery consumption than other competitive protocols.