Abstract

Smart grids incorporating internet-of-things are emerging solutions to provide a reliable, sustainable and efficient electricity supply, and electric vehicle drivers can access efficient charging services in the smart grid. However, traditional electric vehicle charging systems are vulnerable to distributed denial of service and privileged insider attacks when the central charging server is attacked. The blockchain-based charging systems have been proposed to resolve these problems. In 2018, Huang et al. proposed the electric vehicle charging system using lightning network and smart contract. However, their system has an inefficient charging mechanism and does not guarantee security of key. We propose a secure charging system for electric vehicles based on blockchain to resolve these security flaws. Our charging system ensures the security of key, secure mutual authentication, anonymity, and perfect forward secrecy, and also provides efficient charging. We demonstrate that our proposed system provides secure mutual authentication using Burrows–Abadi–Needham logic and prevents replay and man-in-the-middle attacks using automated validation of internet security protocols and applications simulation tool. Furthermore, we compare computation and communication costs with previous schemes. Therefore, the proposed charging system efficiently applies to practical charging systems for electric vehicles.

Highlights

  • A Secure Charging System for Electric Vehicles Based on BlockchainMyeongHyun Kim 1 , KiSung Park 1, * , SungJin Yu 1 , JoonYoung Lee 1 , YoungHo Park 1, * , Sang-Woo Lee 2 and BoHeung Chung 2

  • With widespread adoption of electric vehicles (EVs) and internet-of-things (IoT), smart grids with IoT have become promising solutions to control distributed energy and electricity generation [1].Internet-of-things is applicable to various forms for vehicular systems, such as vehicular ad hoc networks, vehicle to grid (V2G), vehicle to vehicle (V2V), and internet of vehicle (IoV)

  • The AVISPA module was written in a high level protocol specification language (HLPSL) [40] and consists of four backends: Tree Automate-based Protocol Analyser (TA4SP), SAT-based Model-Checker (SATMC), CL-based Attack Searcher(CL-AtSe) [41] and On-the-Fly Model-Checker(OFMC) [42]

Read more

Summary

A Secure Charging System for Electric Vehicles Based on Blockchain

MyeongHyun Kim 1 , KiSung Park 1, * , SungJin Yu 1 , JoonYoung Lee 1 , YoungHo Park 1, * , Sang-Woo Lee 2 and BoHeung Chung 2. Information Security Research Division, Electronics and Telecommunications Research Institute, Daejeon 34129, Korea

Introduction
Organization
Related Works
Hyperledger
System Model
Registration Phase
Authentication Phase
Charging Phase
Deposit Problem
Inefficient Mechanism for Generating Transaction
Cost of Transaction Fee
Security of Key
Initialization Phase
Security Analysis
Impersonation Attack
Session Key Disclosure Attack
Perfect Forward Secrecy
Replay Attack
Mutual Authentication
Security Analysis Using BAN Logic
Proof using BAN Logic
Formal Security AVISPA Tool for Formal Security Verification
HLPSL Specification of AVISPA Simulation
AVISPA Verification Results
Performance Analysis
Computation Cost
Communication Cost
Conclusions

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.