Provably secure and lightweight authentication and key agreement protocol for fog-based vehicular ad-hoc networks

Awais, Syed Muhammad ORCID: https://orcid.org/0009-0000-6211-9478, Yucheng, Wu ORCID: https://orcid.org/0000-0003-1116-7706, Mahmood, Khalid ORCID: https://orcid.org/0000-0001-5046-7766, Alenazi, Mohammed J. F. ORCID: https://orcid.org/0000-0001-6593-112X, Bashir, Ali Kashif ORCID: https://orcid.org/0000-0003-2601-9327, Das, Ashok Kumar ORCID: https://orcid.org/0000-0002-5196-9589 and Lorenz, Pascal ORCID: https://orcid.org/0000-0003-3346-7216 (2024) Provably secure and lightweight authentication and key agreement protocol for fog-based vehicular ad-hoc networks. IEEE Transactions on Intelligent Transportation Systems. pp. 1-10. ISSN 1524-9050

Preview

Accepted Version Available under License In Copyright. Download (1MB) | Preview

Abstract

The increase in popularity of vehicles encourages the development of smart cities. With this advancement, vehicular ad-hoc networks, or VANETs, are now frequently utilized for inter-vehicular communication to gather data regarding traffic congestion, vehicle location, speed, and road conditions. Such a public network is open to various security risks. Overall, protecting personal information on VANET is a vital responsibility. The integration of fog computing and VANETs has gained significant importance in recent years, driven by advancements in cloud computing, Internet of Things (IoT) technologies, and intelligent transportation systems. However, ensuring secure communication in fog-based VANETs remains a major challenge. To overcome this challenge, we introduce a novel authenticated key agreement protocol that achieves mutual authentication, generates a secure session key for secret communication, and provides privacy protection without the use of bilinear pairing. We rigorously prove the security of our proposed protocol, which is designed specifically for fog-based VANETs, and has been shown to meet their stringent security requirements. Moreover, we performed formal and informal analysis that shows our proposed protocol is highly efficient,our protocol’s computational and communication overhead are lower than those of other relevant protocols by 45.570% and 29.432%, respectively. Finally we use NS-3 simulation to prove that our proposed algorithm is a practical and scalable solution for secure communication in fog-based VANETs.