LSPP: Lightweight and Secure Payment Protocol for Dynamic Wireless Charging of Electric Vehicles in Vehicular Cloud

Mojtaba Tajmohammadi,Morteza Nikooghadam,Zahraa Al-Hamdawee,Sayyed Majid Mazinani

doi:10.1109/access.2019.2946241

Mojtaba Tajmohammadi, Morteza Nikooghadam + Show 2 more

Open Access

https://doi.org/10.1109/access.2019.2946241

Copy DOI

Journal: IEEE Access	Publication Date: Jan 1, 2019
Citations: 14	License type: CC BY 4.0

Affiliation: Imam Reza International University

Abstract

Dynamic wireless charging as viable alternative to plug-in vehicles has contributed to a substantial reduction in stopping time at the charging station. Nevertheless, the sequential charging of electric vehicles can reveal the user's personal information, including their location, by using bill and payment systems. Not only do these systems need to support location privacy, but they also should be traceable by trusted authority when cars are stolen. In this paper, a lightweight and secure payment protocol for dynamic wireless charging of electric vehicles in vehicular cloud have been proposed. In addition, payment system requirements and wireless charging of electric vehicles, including architecture, security, speed, location privacy, anonymity, price flexibility and resistance to possible attacks have been described. Low-cost operations like XOR and concatenation have been used to achieve security and speed. The performance and security of LSPP, based on both formal analysis using AVISPA tool and informal analysis considering probable attack scenarios have been analyzed and compared with past methods. In conclusion, with regard to security and efficiency, payment system proposed works well and fulfills the requirements of the wireless charging of electric vehicles.

Highlights

In 2010, the first commercial dynamic wireless charging (DWC) electric vehicle (EV), the online electric vehicle project at KAIST, was selected as one of the best innovations to be a step forward in protecting the environment and preventing contamination [1].In this project, EV can be charged with on-road energy segments while they are on the move and can reduce the time of recharging [2]
We present a lightweight and secure payment method for DWC of EV that (a) it uses low-cost operations including concatenation, XOR and symmetric cryptography rather than costly operations which has been used in previous methods, (b) it withstands the known attacks and ensured security, traceability, privacy and anonymity, (c) it is far better than the recent methods in terms of efficiency and speed, (d) it has a network model compatible with advanced technologies
In order to improve the quality of the communication between different entities, we have suggested using the 5G network and vehicular cloud instead of vehicular ad hoc network (VANET) and roadside unit (RSU) because of its advantages

Summary

INTRODUCTION

In 2010, the first commercial dynamic wireless charging (DWC) electric vehicle (EV), the online electric vehicle project at KAIST, was selected as one of the best innovations to be a step forward in protecting the environment and preventing contamination [1] In this project, EV can be charged with on-road energy segments while they are on the move and can reduce the time of recharging [2]. This scheme should protect the location privacy of the EV’s users and if there is a problem, unauthorized users can be tracked down by TA. We implement the proposed method with high level protocol specification language (HLPSL) language

RELATED WORK

SYSTEM MODEL

LSPP CONSTRUCTION

SECURITY ANALYSIS

SECURITY SIMULATION CORRECTNESS

Findings

CONCLUSION