Smart City Gnosys

Smart city article details

Title Iov-Smap: Secure And Efficient Message Authentication Protocol For Iov In Smart City Environment
ID_Doc 34151
Authors Yu, S; Lee, J; Park, K; Das, AK; Park, Y
Year 2020
Published IEEE ACCESS, 8
DOI http://dx.doi.org/10.1109/ACCESS.2020.3022778
Abstract With the emergence of the concept of smart city and the increasing demands for a range of vehicles, Internet of Vehicles (IoV) has achieved a lot of attention by providing multiple benefits, including vehicle emergence, accidents, levels of pollution, and traffic congestion. Moreover, IoV provides various services by combining vehicular ad-hoc networks (VANET) with the Internet of Things (IoT) in smart cities. However, the communication among vehicles is susceptible to various security threats because the sensitive message is transmitted via a insecure channel in the IoV-based smart city environment. Thus, a secure message authentication protocol is indispensable to ensure various services for IoV in a smart city environment. In 2020, a secure message authentication protocol for IoV communication in smart cities has been proposed. However, we discover that the analyzed scheme suffers from various potential attacks such as impersonation, secret key disclosure, and off-line guessing attacks, and also does not ensure authentication. To solve the security threats of the analyzed scheme, we design a secure and efficient message authentication protocol for IoV in a smart city environment, called IoV-SMAP. The proposed IoV-SMAP can resist security drawbacks and provide user anonymity, and mutual authentication. We demonstrate the security of IoV-SMAP by performing informal and formal analyses such as the Real-or-Random (ROR) model, and Automated Validation of Internet Security Protocols and Application (AVISPA) simulations. In addition, we compare the performance of IoV-SMAP with related existing competing authentication schemes. We demonstrate that IoV-SMAP provides better security along with efficiency than related competing schemes and is suitable for the IoV-based smart city environment.
Author Keywords Protocols; Smart cities; Authentication; Message authentication; Vehicular ad hoc networks; Resists; Message authentication; IoV; smart city; ROR model; AVISPA simulation


Similar Articles


Id Similarity Authors Title Published
46821 View0.907Thapliyal S.; Wazid M.; Singh D.P.; Das A.K.; Islam S.H.Robust Authenticated Key Agreement Protocol For Internet Of Vehicles-Envisioned Intelligent Transportation SystemJournal of Systems Architecture, 142 (2023)
62035 View0.898Vasudev H.; Das D.Work-In-Progress: Safe: Secure Authentication For Future Entities Using Internet Of VehiclesProceedings - Real-Time Systems Symposium, 2019-December (2019)
36736 View0.894Kumar J.; Arya Y.D.S.; Sanghi A.Message Communication Challenges In Heterogeneous Architecture Of Internet Of Vehicles: A ReviewProceedings of the 2024 13th International Conference on System Modeling and Advancement in Research Trends, SMART 2024 (2024)
33103 View0.886Internet Of Vehicles, Vehicular Social Networks, And CybersecurityAutomotive Cyber Security: Introduction, Challenges, and Standardization (2020)
7793 View0.886Yu X.; Deng T.; Cai H.; Wang Z.; Wang D.; Zhang Y.; Jia J.; Lu R.An Efficient And Secure Authentication Protocol For Distributed Internet Of Vehicle In Smart CityCommunications in Computer and Information Science, 2422 CCIS (2025)
47960 View0.884Sahbi R.; Ghanemi S.; Ferrag M.A.Security Of Internet Of Vehicles In Smart Cities: Authentication And Confidentiality AspectsInternational Journal of Internet Technology and Secured Transactions, 13, 3 (2024)
18372 View0.883Ang, LM; Seng, KP; Ijemaru, GK; Zungeru, AMDeployment Of Iov For Smart Cities: Applications, Architecture, And ChallengesIEEE ACCESS, 7 (2019)
61767 View0.881Mahmood A.; Sheng Q.Z.; Siddiqui S.A.; Sagar S.; Zhang W.E.; Suzuki H.; Ni W.When Trust Meets The Internet Of Vehicles: Opportunities, Challenges, And Future ProspectsProceedings - 2021 IEEE 7th International Conference on Collaboration and Internet Computing, CIC 2021 (2021)
12628 View0.88Lin H.-T.; Jhuang W.-L.Blockchain-Based Lightweight Certificateless Authenticated Key Agreement Protocol For V2V Communications In IovIEEE Internet of Things Journal, 11, 16 (2024)
26917 View0.879Park H.; Park Y.Formal Security Analysis Of The Authentication Protocol In Smart Cities Using AvispaLecture Notes in Computer Science, 15912 LNCS (2025)