{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T19:52:52Z","timestamp":1774122772116,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031975721","type":"print"},{"value":"9783031975738","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-97573-8_1","type":"book-chapter","created":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:43:09Z","timestamp":1751517789000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Security Analysis of\u00a0the\u00a0Authentication Protocol in\u00a0Smart Cities Using AVISPA"],"prefix":"10.1007","author":[{"given":"Hyewon","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yohan","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,7,4]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_27"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-46035-7_22","volume-title":"Advances in Cryptology \u2014 EUROCRYPT 2002","author":"R Canetti","year":"2002","unstructured":"Canetti, R., Krawczyk, H.: Universally composable notions of key exchange and secure channels. In: Knudsen, L.R. (ed.) EUROCRYPT 2002. LNCS, vol. 2332, pp. 337\u2013351. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46035-7_22"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Douceur, J.R.: The sybil attack. In: International Workshop on Peer-to-Peer Systems, pp. 251\u2013260. Springer (2002)","DOI":"10.1007\/3-540-45748-8_24"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dwivedi, S.K., Amin, R., Vollala, S., Das, A.K.: Design of blockchain and ECC-based robust and efficient batch authentication protocol for vehicular AD-HOC networks. IEEE Trans. Intell. Transp. Syst. (2023)","DOI":"10.1109\/TITS.2023.3310514"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"100252","DOI":"10.1016\/j.treng.2024.100252","volume":"16","author":"M Elassy","year":"2024","unstructured":"Elassy, M., Al-Hattab, M., Takruri, M., Badawi, S.: Intelligent transportation systems for sustainable smart cities. Transp. Eng. 16, 100252 (2024)","journal-title":"Transp. Eng."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"1_CR8","unstructured":"Heilman, E., Kendler, A., Zohar, A., Goldberg, S.: Eclipse attacks on $$\\{$$Bitcoin\u2019s$$\\}$$$$\\{$$peer-to-peer$$\\}$$ network. In: 24th USENIX Security Symposium (USENIX Security 15), pp. 129\u2013144 (2015)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"86127","DOI":"10.1109\/ACCESS.2022.3198656","volume":"10","author":"NH Hussein","year":"2022","unstructured":"Hussein, N.H., Yaw, C.T., Koh, S.P., Tiong, S.K., Chong, K.H.: A comprehensive survey on vehicular networking: communications, applications, challenges, and upcoming research directions. IEEE Access 10, 86127\u201386180 (2022)","journal-title":"IEEE Access"},{"issue":"24","key":"1_CR10","doi-asserted-by":"publisher","first-page":"3965","DOI":"10.3390\/math12243965","volume":"12","author":"S Ju","year":"2024","unstructured":"Ju, S., Park, H., Son, S., Kim, H., Park, Y., Park, Y.: Blockchain-assisted secure and lightweight authentication scheme for multi-server internet of drones environments. Mathematics 12(24), 3965 (2024)","journal-title":"Mathematics"},{"issue":"10","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1450","DOI":"10.3390\/math12101450","volume":"12","author":"M Kim","year":"2024","unstructured":"Kim, M., Park, K., Park, Y.: A reliable and privacy-preserving vehicular energy trading scheme using decentralized identifiers. Mathematics 12(10), 1450 (2024)","journal-title":"Mathematics"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Micciancio, D., Regev, O.: Lattice-based cryptography. In: Post-Quantum Cryptography, pp. 147\u2013191. Springer (2009)","DOI":"10.1007\/978-3-540-88702-7_5"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Micciancio, D., Schultz-Wu, M.: Error correction and ciphertext quantization in lattice cryptography. In: Annual International Cryptology Conference, pp. 648\u2013681. Springer (2023)","DOI":"10.1007\/978-3-031-38554-4_21"},{"issue":"13","key":"1_CR14","doi-asserted-by":"publisher","first-page":"2673","DOI":"10.3390\/electronics13132673","volume":"13","author":"MA Naeem","year":"2024","unstructured":"Naeem, M.A., Chaudhary, S., Meng, Y.: Road to efficiency: V2V enabled intelligent transportation system. Electronics 13(13), 2673 (2024)","journal-title":"Electronics"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"109765","DOI":"10.1016\/j.compeleceng.2024.109765","volume":"120","author":"HJ Nath","year":"2024","unstructured":"Nath, H.J., Choudhury, H.: LbPV: lattice-based privacy-preserving mutual authentication scheme for VANET. Comput. Electr. Eng. 120, 109765 (2024)","journal-title":"Comput. Electr. Eng."},{"issue":"19","key":"1_CR16","doi-asserted-by":"publisher","first-page":"3930","DOI":"10.3390\/electronics13193930","volume":"13","author":"H Park","year":"2024","unstructured":"Park, H., Son, S., Park, Y., Park, Y.: Provably quantum secure three-party mutual authentication and key exchange protocol based on modular learning with error. Electronics 13(19), 3930 (2024)","journal-title":"Electronics"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.1109\/TDSC.2022.3163138","volume":"20","author":"K Park","year":"2022","unstructured":"Park, K., Lee, J., Das, A.K., Park, Y.: BPPS: blockchain-enabled privacy-preserving scheme for demand-response management in smart grid environments. IEEE Trans. Dependable Secure Comput. 20(2), 1719\u20131729 (2022)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"6","key":"1_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.3390\/designs6060121","volume":"6","author":"GG Shayea","year":"2022","unstructured":"Shayea, G.G., Mohammed, D.A., Abbas, A.H., Abdulsattar, N.F.: Privacy-aware secure routing through elliptical curve cryptography with optimal rsu distribution in vanets. Designs 6(6), 121 (2022)","journal-title":"Designs"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, pp. 124\u2013134. IEEE (1994)","DOI":"10.1109\/SFCS.1994.365700"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"109612","DOI":"10.1016\/j.comnet.2023.109612","volume":"224","author":"S Yu","year":"2023","unstructured":"Yu, S., Lee, J., Sutrala, A.K., Das, A.K., Park, Y.: LAKA-UAV: Lightweight authentication and key agreement scheme for cloud-assisted unmanned aerial vehicle using blockchain in flying AD-HOC networks. Comput. Netw. 224, 109612 (2023)","journal-title":"Comput. Netw."},{"issue":"21","key":"1_CR21","doi-asserted-by":"publisher","first-page":"35743","DOI":"10.1109\/JSEN.2024.3431557","volume":"24","author":"D Zhu","year":"2024","unstructured":"Zhu, D., Guan, Y.: Secure and lightweight conditional privacy-preserving identity authentication scheme for VANET. IEEE Sens. J. 24(21), 35743\u201335756 (2024)","journal-title":"IEEE Sens. J."}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2025 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97573-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:43:13Z","timestamp":1751517793000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97573-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031975721","9783031975738"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97573-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"4 July 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccs-computsci2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iccs-meeting.org\/iccs2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}