Security and privacy protection communication protocol for Internet of vehicles in smart cities
Xu, Jingxiu Li, Meiyan He, Zhonglin Anwlnkom, Tomley
Xu, Jingxiu
Li, Meiyan
He, Zhonglin
Anwlnkom, Tomley
Other Names
Location
Time Period
Advisors
Original Date
Digitization Date
Issue Date
2023-07-01
Type
Article
Genre
Keywords
Smart cities,Internet of vehicles,Safety,Privacy protection,Scyther
Subjects (LCSH)
Citation
Xu, J., Li, M., He, Z., & Anwlnkom, T. (2023). Security and privacy protection communication protocol for Internet of vehicles in smart cities. Computers and Electrical Engineering, 109, 108778. https://doi.org/https://doi.org/10.1016/j.compeleceng.2023.108778
Abstract
In recent years, the development of the construction of smart cities and the new generation of information and communication technology have promoted the intelligent urban management and service. The internet of vehicles, as a new basic technology system and industrial field that connects intelligent connected vehicles and smart cities, is constantly developing and maturing. However, the data transmission and management of the internet of vehicles are heavily dependent on the wireless channel, which determines that the wireless channel is vulnerable to conceivabl0threats such as information leakage and data attack. Therefore, this paper proposes a security and privacy protection communication protocol for internet of vehicles in the smart cities. In terms of security, Burrows-Abadi-Needham logic and Scyther formal verification tool are used for security verification. Through security analysis and performance analysis, this protocol has lower computation and communication costs while achieving higher security.
Table of Contents
Description
Publisher
Elsevier B.V.
Journal
Book Title
Series
Computers and Electrical Engineering
Volume 109
Volume 109
Digital Collection
Finding Aid URL
Use and Reproduction
Archival Collection
PubMed ID
DOI
ISSN
0045-7906