RSEAP: RFID based secure and efficient authentication protocol for vehicular cloud computing

Vehicular cloud computing (VCC) is an emerging research area, which comprises cloud, vehicular networking and Internet of Things (IoT) technologies. VCC presents vehicle-to-vehicle, vehicle-to-infrastructure or vehicle-to-device communication, where vehicles are equipped with communication sensing capacities. VCC is utilizing vehicle resources, cloud infrastructure and IoT environment. However, maintaining the security of communication and privacy of communicators are two major challenges in VCC. To achieve the goal of secure communication along with anonymity, we propose an elliptic curve cryptography (ECC) based authentication framework for VCC, which is equipped with a radio frequency identification (RFID). We prove the claim of secure communication using formal security analysis in the random oracle model and information analysis. Moreover, we prove the proposed protocol security against a replay attack and man-in-the-middle attack using the simulation tool AVISPA. We discuss and evaluate the performance of the proposed framework and compare it with related schemes on desirable performance parameters. Our analysis indicates that the proposed framework achieves all desirable security attributes and supports efficient communication. (C) 2019 Elsevier Inc. All rights reserved.