An Efficient and Provably Secure Authenticated Key Agreement Protocol for Fog-Based Vehicular Ad-Hoc Networks

• Published in: IEEE internet of things journal Vol. 6; no. 5; pp. 8065 - 8075
• Main Authors: Ma, Mimi, He, Debiao, Wang, Huaqun, Kumar, Neeraj, Choo, Kim-Kwang Raymond
• Format: Journal Article
• Language: English
• Published: Piscataway IEEE 01.10.2019; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Authenticated key agreement (AKA); Authentication; Cloud computing; fog computing; fog-based vehicular ad-hoc networks (VANETs); Intelligent transportation systems; Internet of Things; Mobile ad hoc networks; Protocol (computers); Protocols; Real-time systems; Security; Sensors; VANETs; Vehicles
• ISSN: 2327-4662; 2327-4662
• DOI: 10.1109/JIOT.2019.2902840

The maturity of cloud computing, the Internet of Things technology, and intelligent transportation system has promoted the rapid development of vehicular ad-hoc networks (VANETs). To keep pace with real-world demands (mobility, low latency, etc.) in a practical VANETs deployment, there have been attempts to integrate fog computing with VANETs. To facilitate secure interaction in fog-based VANETs, we design a new authenticated key agreement protocol without bilinear pairing. This protocol achieves mutual authentication, generates a securely agreed session key for secret communication, and supports privacy protection. We also give a strict formal security proof and demonstrate how the proposed protocol meets the security requirements in the fog-based VANETs. We then evaluate the efficiency of the proposed protocol, and it shows the practicality of the protocol.