Smart City Gnosys

Smart city article details

Title	Secure Message Communication Protocol Among Vehicles In Smart City
ID_Doc	47657
Authors	Dua A.; Kumar N.; Das A.K.; Susilo W.
Year	2018
Published	IEEE Transactions on Vehicular Technology, 67, 5
DOI	http://dx.doi.org/10.1109/TVT.2017.2780183
Abstract	Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-level authentication key exchange scheme has been designed. In the first level authentication, CH s are verified by series of messages exchanged between CH s and the CA. The verifiedCHs are responsible for authentication of vehicles in the second level authentication, followed by exchange of messages between CH and vehicle. The security analysis using widely accepted Burrows-Abadi-Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the CA. © 2017 IEEE.
Author Keywords	Authentication; Automated validation of Internet security protocols and applications (AVISPA); Burrows-Abadi-Needham (BAN) logic; Formal security; Key exchange; Smart city; Vehicles

Similar Articles

Id	Similarity	Authors	Title	Published
47960	0.884	Sahbi R.; Ghanemi S.; Ferrag M.A.	Security Of Internet Of Vehicles In Smart Cities: Authentication And Confidentiality Aspects	International Journal of Internet Technology and Secured Transactions, 13, 3 (2024)
32411	0.876	Das S.; Pradhan B.; Sharma S.; Jana B.; Das G.; Chakraborty P.	Intelligent Infrastructure Of Route Scheduling For Smart Transportation Systems In Smart Cities	Handbook of Research on Network-Enabled IoT Applications for Smart City Services (2023)
16764	0.874	Yao H.; Yan Q.	Cryptanalysis And Design Of Anonymous Authentication Protocol For Value-Added Services In Internet Of Vehicles; [面向车联网增值服务的匿名认证协议的密码分析与设计]	Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 59, 2 (2022)
26917	0.868	Park H.; Park Y.	Formal Security Analysis Of The Authentication Protocol In Smart Cities Using Avispa	Lecture Notes in Computer Science, 15912 LNCS (2025)
60981	0.864	Patel A.; Shah N.; Limbasiya T.; Das D.	Vehiclechain: Blockchain-Based Vehicular Data Transmission Scheme For Smart City	Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, 2019-October (2019)
47884	0.861	Xu J.; Li M.; He Z.; Anwlnkom T.	Security And Privacy Protection Communication Protocol For Internet Of Vehicles In Smart Cities	Computers and Electrical Engineering, 109 (2023)
35254	0.86	Rajesh S.M.; Prabha R.	Lightweight Cryptographic Approach To Address The Security Issues In Intelligent Applications: A Survey	IDCIoT 2023 - International Conference on Intelligent Data Communication Technologies and Internet of Things, Proceedings (2023)
1062	0.859	Chaudhary D.; Durgarao M.S.P.; Parikshith P.G.; Theja Y.R.	A Construction Of Secure And Efficient Lightweight Authenticated Key Agreement Based On Elliptic Curve Cryptography For Smart Grid	Lecture Notes in Electrical Engineering, 1099 (2024)
35244	0.857	Khalique A.; Siddiqui F.; Ahad M.A.; Hussain I.	Lightweight Authentication For Iot Devices (Laid) In Sustainable Smart Cities	Scientific Reports, 15, 1 (2025)
12526	0.857	Evangeline S.; Lenin A.; Kumaravelu V.B.	Blockchain System For Secure And Efficient Uav-To-Vehicle Communication In Smart Cities	International Journal of Electronics and Telecommunications, 69, 1 (2023)