Palak Bagga

TL;DR: A secure authenticated key management protocol in fog computing-based IoV deployment, called AKM-IoV, which is tested for its security analysis under the widely accepted real-or-random (ROR) model, informal, and formal security verification using the broadly accepted automated validation of Internet security protocols and applications (AVISPAs).

TL;DR: The proposed scheme is shown to be highly secure against a passive/active adversary through various security analysis, such as random oracle based formal security, formal security verification via automated simulation tool, and also informal security analysis.

TL;DR: Various security aspects, threats and attacks, network and threat models related to the IoV environment are discussed, and a taxonomy of security protocols is given that is essential to provide IoV data security.

TL;DR: A detailed comparative analysis reveals that the proposed scheme achieves superior security and functionality features, and offers comparable storage, communication and computational costs as compared to other existing competing schemes.

TL;DR: In this article, the authors proposed a new mutual authentication and key agreement protocol in an IoV-enabled Intelligent Transportation System (ITS) using both formal and informal security analysis, as well as formal security verification using an automated verification tool.