Smart City Gnosys
Smart city article details
| Title | Formal Security Analysis Of The Authentication Protocol In Smart Cities Using Avispa |
|---|---|
| ID_Doc | 26917 |
| Authors | Park H.; Park Y. |
| Year | 2025 |
| Published | Lecture Notes in Computer Science, 15912 LNCS |
| DOI | http://dx.doi.org/10.1007/978-3-031-97573-8_1 |
| Abstract | Smart cities optimize traffic management and vehicle communication through Intelligent Transportation Systems (ITS), with Vehicular Ad-hoc Networks (VANET) serving as a core infrastructure. In these environments, security vulnerabilities can severely impact the smart city traffic system, leading to traffic congestion, blockage of emergency vehicle routes, and disruption of autonomous driving systems. Unfortunately, identifying security vulnerabilities of the system in VANET is complex due to various attack types and the dynamic nature of the network, requiring systematic verification techniques for effective analysis. Recently, Nath et al. proposed an authentication protocol for VANETs using LWE-based lattice signatures and tokens, however the protocol has not been sufficiently validated. This study utilizes AVISPA (Automated Validation of Internet Security Protocols and Applications) to analyze Nath et al.’s protocol. AVISPA, an automated security verification tool based on the Dolev-Yao(DY) attacker model, is effective in assessing various threats such as replay attacks and man-in-the-middle attacks, making it ideal for evaluating security in the VANET environment. The security analysis reveals that the protocol is vulnerable to multiple attacks due to the lack of message freshness verification and user authentication. To address these vulnerabilities, we propose countermeasures to enhance message freshness verification and user authentication mechanisms, and validate the improved protocol’s security through AVISPA simulation. Finally, we verify the security of the authentication scheme which is applied the countermeasures through AVISPA. The result shows that the security of smart city vehicular networks can be strengthened through AVISPA-based security verification and this can provide valuable insights for designing security protocols in smart cities. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025. |
| Author Keywords | AVISPA simulation; eclipse attack; Intelligent Transportation System; Lattice-based cryptography; security protocol analysis; sybil attack; Vehicular Ad-hoc Networks |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
34151  | 0.879 | Yu, S; Lee, J; Park, K; Das, AK; Park, Y | Iov-Smap: Secure And Efficient Message Authentication Protocol For Iov In Smart City Environment | IEEE ACCESS, 8 (2020) |
| 1124 | 0.873 | Saleem M.A.; Li X.; Mahmood K.; Shamshad S.; Alenazi M.J.F.; Das A.K. | A Cost-Efficient Anonymous Authenticated And Key Agreement Scheme For V2I-Based Vehicular Ad-Hoc Networks | IEEE Transactions on Intelligent Transportation Systems, 25, 9 (2024) |
| 11021 | 0.871 | Alwasel A.; Mishra S.; AlShehri M. | Attacks On The Vehicle Ad-Hoc Network From Cyberspace | International Journal of Advanced Computer Science and Applications, 14, 7 (2023) |
| 47657 | 0.868 | Dua A.; Kumar N.; Das A.K.; Susilo W. | Secure Message Communication Protocol Among Vehicles In Smart City | IEEE Transactions on Vehicular Technology, 67, 5 (2018) |
| 2469 | 0.864 | Rabah N.B.; Idoudi H. | A Machine Learning Framework For Intrusion Detection In Vanet Communications | Emerging Trends in Cybersecurity Applications (2022) |
| 62035 | 0.861 | Vasudev H.; Das D. | Work-In-Progress: Safe: Secure Authentication For Future Entities Using Internet Of Vehicles | Proceedings - Real-Time Systems Symposium, 2019-December (2019) |
| 22352 | 0.86 | Yin L.; Wang H. | Efficient Message Authentication Scheme With Forward And Backward Security In Vehicle Cloud Network Towards Sustainable Smart City | Sustainable Cities and Society, 114 (2024) |
| 35238 | 0.86 | Tahir H.; Mahmood K.; Ayub M.F.; Saleem M.A.; Ferzund J.; Kumar N. | Lightweight And Secure Multi-Factor Authentication Scheme In Vanets | IEEE Transactions on Vehicular Technology, 72, 11 (2023) |
| 25610 | 0.86 | Rishiwal V.; Agarwal U.; Alotaibi A.; Tanwar S.; Yadav P.; Yadav M. | Exploring Secure V2X Communication Networks For Human-Centric Security And Privacy In Smart Cities | IEEE Access, 12 (2024) |
| 7793 | 0.86 | Yu 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 City | Communications in Computer and Information Science, 2422 CCIS (2025) |