Security and privacy protection communication protocol for Internet of vehicles in smart cities

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 conceivable threats 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.