Abstract
Internet of Energy (IoE) provides two-way communication for reform of energy utilization between service providers and consumers. To provide secure, efficient, and reliable operations in IoE should be protected from cyber-attacks. Many frameworks have been proposed so far to address security and privacy concerns of these systems. In the vehicle-grid system, we propose a useful mutual authenticated key agreement framework using elliptic curve cryptography and hash function. The aim of the proposed protocol is to maintain secure communication between vehicles and the grid system with reliable computation and communication costs. In the proposed protocol, a vehicular user securely access services that are provided by the grid server. We prove the security of the proposed framework in formal and informal ways. We also show the correctness of the mutual authentication and key agreement of this framework by using Burrows-Abadi-Needham logic. We provide formal security verification of the proposed protocol by using AVISPA tool. Further, we show that this work is better in terms of computation and communication costs compare to other related protocols in the same environment. As a result, the proposed framework is a real life-application in this system.