Secure Authentication and Key Management Protocol for Deployment of Internet of Vehicles (IoV) Concerning Intelligent Transport Systems
- 28 September 2022
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Intelligent Transportation Systems
- Vol. 23 (12) , 24698-24713
Abstract
Intelligent transport systems amalgamated with advanced technologies are an important element of the automotive industry, including critical infrastructure and transportation. Internet of Vehicles (IoV) is the modern technological framework designed for intelligent transportation. IoV creates a network of information relations among vehicles, thus contributing to reduced congestion, roadside infrastructure, driver/traveller safety, and traffic efficiency through wireless communication and sensing technology. However, a significant challenge in IoV applications is security, as criminals could potentially exploit these applications. It is clear that despite increasing industry awareness, the potential danger posed by security vulnerabilities and cyber threats is high. In this study, we have designed a new system called AKAP-IoV, which supports secure communication, mutual authentication, and key management among vehicles, roadside units, and fog and cloud servers. AKAP-IoV was tested and verified using Scyther and Tamarin to ensure its resistance to cyber threats. Furthermore, we conducted a formal security analysis using the Real-or-Random (RoR) oracle model to assess security properties logically. In addition, a detailed, comprehensive comparative study was considered to evaluate the performance, functionality, efficiency and security features supported by AKAP-IoV compared to those of recently developed schemes.Keywords
This publication has 36 references indexed in Scilit:
- The random oracle model: a twenty-year retrospectiveDesigns, Codes and Cryptography, 2015
- A Threshold Anonymous Authentication Protocol for VANETsIEEE Transactions on Vehicular Technology, 2015
- Anonymous Two-Factor Authentication in Distributed Systems: Certain Goals Are Beyond AttainmentIEEE Transactions on Dependable and Secure Computing, 2014
- Internet of Things for Smart CitiesIEEE Internet of Things Journal, 2014
- The TAMARIN Prover for the Symbolic Analysis of Security Protocols2013
- Three‐factor control protocol based on elliptic curve cryptosystem for universal serial bus mass storage devicesIET Computers & Digital Techniques, 2013
- Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification2010
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols2008
- Password-Based Authenticated Key Exchange in the Three-Party Setting2005
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983