{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T23:28:18Z","timestamp":1782170898769,"version":"3.54.5"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T00:00:00Z","timestamp":1725062400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T00:00:00Z","timestamp":1725062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Scientific Research Deanship at the University of Ha\u2019il - Saudi Arabia","award":["RG-23116"],"award-info":[{"award-number":["RG-23116"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Peer-to-Peer Netw. Appl."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1007\/s12083-024-01778-9","type":"journal-article","created":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T10:02:22Z","timestamp":1725098542000},"page":"3703-3721","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Fog computing and blockchain technology based certificateless authentication scheme in 5G-assisted vehicular communication"],"prefix":"10.1007","volume":"17","author":[{"given":"Zeyad\u00a0Ghaleb","family":"Al-Mekhlafi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hussam\u00a0Dheaa\u00a0Kamel","family":"Al-Janabi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahmood\u00a0A.","family":"Al-Shareeda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Badiea\u00a0Abdulkarem","family":"Mohammed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jalawi\u00a0Sulaiman","family":"Alshudukhi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kawther\u00a0A.","family":"Al-Dhlan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,8,31]]},"reference":[{"key":"1778_CR1","doi-asserted-by":"crossref","unstructured":"Chen B, Wang Z, Xiang T, Yang J, He D, Choo K-KR (2023) Bcgs: blockchain-assisted privacy-preserving cross-domain authentication for vanets. Vehicular Communications, 100602","DOI":"10.1016\/j.vehcom.2023.100602"},{"key":"1778_CR2","doi-asserted-by":"crossref","unstructured":"Al-shareeda MA, Alazzawi MA, Anbar M, Manickam S, Al-Ani AK (2021) A comprehensive survey on vehicular ad hoc networks (vanets). In: 2021 International Conference on Advanced Computer Applications (ACA), IEEE, pp 156\u2013160","DOI":"10.1109\/ACA52198.2021.9626779"},{"issue":"3","key":"1778_CR3","doi-asserted-by":"publisher","first-page":"2593","DOI":"10.1007\/s40747-021-00629-x","volume":"8","author":"M Gillani","year":"2022","unstructured":"Gillani M, Niaz HA, Farooq MU, Ullah A (2022) Data collection protocols for vanets: a survey. Complex Intell Syst 8(3):2593\u20132622","journal-title":"Complex Intell Syst"},{"key":"1778_CR4","doi-asserted-by":"crossref","unstructured":"Prakash M, Saranya K (2023) Vanet authentication with privacy-preserving schemes\u2013a survey. In: Proceedings of Fourth International Conference on Communication, Computing and Electronics Systems: ICCCES 2022, Springer, pp 465\u2013480","DOI":"10.1007\/978-981-19-7753-4_36"},{"key":"1778_CR5","doi-asserted-by":"crossref","unstructured":"Al-Shareeda MA, Manickam S (2023) A systematic literature review on security of vehicular ad-hoc network (vanet) based on veins framework. IEEE Access","DOI":"10.1109\/ACCESS.2023.3274774"},{"key":"1778_CR6","doi-asserted-by":"crossref","unstructured":"Trombly A, Alsmadi I (2023) Resource allocation methods in vanets: a systematic literature review","DOI":"10.21203\/rs.3.rs-2398335\/v1"},{"issue":"4S","key":"1778_CR7","first-page":"190","volume":"10","author":"K Dhivya","year":"2023","unstructured":"Dhivya K, Kanna RR (2023) A novel blockchain-based fault-tolerant authentication technique for secure and qos aware vehicular ad hoc network using. J Surv Fish Sci 10(4S):190\u2013203","journal-title":"J Surv Fish Sci"},{"issue":"7","key":"1778_CR8","doi-asserted-by":"publisher","first-page":"3543","DOI":"10.3390\/s23073543","volume":"23","author":"ZG Al-Mekhlafi","year":"2023","unstructured":"Al-Mekhlafi ZG, Al-Shareeda MA, Manickam S, Mohammed BA, Alreshidi A, Alazmi M, Alshudukhi JS, Alsaffar M, Rassem TH (2023) Efficient authentication scheme for 5g-enabled vehicular networks using fog computing. Sensors 23(7):3543","journal-title":"Sensors"},{"key":"1778_CR9","doi-asserted-by":"publisher","first-page":"23022","DOI":"10.1109\/ACCESS.2022.3152767","volume":"10","author":"T Chatterjee","year":"2022","unstructured":"Chatterjee T, Karmakar R, Kaddoum G, Chattopadhyay S, Chakraborty S (2022) A survey of vanet\/v2x routing from the perspective of non-learning-and learning-based approaches. IEEE Access 10:23022\u201323050","journal-title":"IEEE Access"},{"key":"1778_CR10","doi-asserted-by":"publisher","first-page":"181117","DOI":"10.1109\/ACCESS.2019.2954466","volume":"7","author":"Y Yang","year":"2019","unstructured":"Yang Y, Hua K (2019) Emerging technologies for 5g-enabled vehicular networks. IEEE Access 7:181117\u2013181141","journal-title":"IEEE Access"},{"key":"1778_CR11","doi-asserted-by":"crossref","unstructured":"Al\u00a0Shareeda M, Khalil A, Fahs W (2018) Towards the optimization of road side unit placement using genetic algorithm. In: 2018 International Arab Conference on Information Technology (ACIT), IEEE, pp 1\u20135","DOI":"10.1109\/ACIT.2018.8672687"},{"issue":"2","key":"1778_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MNET.001.1900220","volume":"34","author":"C Lai","year":"2020","unstructured":"Lai C, Lu R, Zheng D, Shen X (2020) Security and privacy challenges in 5g-enabled vehicular networks. IEEE Network 34(2):37\u201345","journal-title":"IEEE Network"},{"key":"1778_CR13","first-page":"100265","volume":"26","author":"M Arif","year":"2020","unstructured":"Arif M, Wang G, Balas VE, Geman O, Castiglione A, Chen J (2020) Sdn based communications privacy-preserving architecture for vanets using fog computing. Veh Commun 26:100265","journal-title":"Veh Commun"},{"key":"1778_CR14","doi-asserted-by":"publisher","first-page":"113226","DOI":"10.1109\/ACCESS.2021.3104148","volume":"9","author":"MA Al-Shareeda","year":"2021","unstructured":"Al-Shareeda MA, Anbar M, Manickam S, Hasbullah IH (2021) Towards identity-based conditional privacy-preserving authentication scheme for vehicular ad hoc networks. IEEE Access 9:113226\u2013113238","journal-title":"IEEE Access"},{"issue":"5","key":"1778_CR15","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1016\/j.dcan.2021.09.010","volume":"8","author":"A Paranjothi","year":"2022","unstructured":"Paranjothi A, Atiquzzaman M (2022) A statistical approach for enhancing security in vanets with efficient rogue node detection using fog computing. Digit Commun Netw 8(5):814\u2013824","journal-title":"Digit Commun Netw"},{"key":"1778_CR16","doi-asserted-by":"crossref","unstructured":"Almazroi AA, Alqarni MA, Al-Shareeda MA, Manickam S (2023) L-cppa: lattice-based conditional privacy-preserving authentication scheme for fog computing with 5g-enabled vehicular system. PLoS ONE 18(10):0292690","DOI":"10.1371\/journal.pone.0292690"},{"issue":"4","key":"1778_CR17","doi-asserted-by":"publisher","first-page":"784","DOI":"10.12928\/telkomnika.v21i4.24388","volume":"21","author":"MA Alazzawi","year":"2023","unstructured":"Alazzawi MA, Almalchy MT, Al-Shammari A, Al-Khaleefa AS, Albehadili HM (2023) Lska-id: a lightweight security and key agreement protocol based on an identity for vehicular communication. TELKOMNIKA (Telecommunication Computing Electronics and Control) 21(4):784\u2013796","journal-title":"TELKOMNIKA (Telecommunication Computing Electronics and Control)"},{"issue":"2","key":"1778_CR18","doi-asserted-by":"publisher","first-page":"399","DOI":"10.3390\/math11020399","volume":"11","author":"ZG Al-Mekhlafi","year":"2023","unstructured":"Al-Mekhlafi ZG, Al-Shareeda MA, Manickam S, Mohammed BA, Qtaish A (2023) Lattice-based lightweight quantum resistant scheme in 5g-enabled vehicular networks. Math 11(2):399","journal-title":"Math"},{"issue":"10","key":"1778_CR19","doi-asserted-by":"publisher","first-page":"11189","DOI":"10.1109\/TVT.2022.3189540","volume":"71","author":"L Zhang","year":"2022","unstructured":"Zhang L, Kang B, Dai F, Zhang Y, Liu H (2022) Hybrid and hierarchical aggregation-verification scheme for vanet. IEEE Trans Veh Technol 71(10):11189\u201311200","journal-title":"IEEE Trans Veh Technol"},{"key":"1778_CR20","doi-asserted-by":"crossref","unstructured":"Jiang S, Chen X, Cao Y, Xu T, He J, Cui Y (2022) Apki: an anonymous authentication scheme based on pki for vanet. In: 2022 7th International Conference on Computer and Communication Systems (ICCCS), IEEE, pp 530\u2013536","DOI":"10.1109\/ICCCS55155.2022.9845923"},{"key":"1778_CR21","doi-asserted-by":"crossref","unstructured":"Zhang H, Zhao F (2022) Cross-domain identity authentication scheme based on blockchain and pki system. High-Confidence Computing, 100096","DOI":"10.1016\/j.hcc.2022.100096"},{"key":"1778_CR22","doi-asserted-by":"crossref","unstructured":"Shamir A (1985) Identity-based cryptosystems and signature schemes. In: Advances in Cryptology: Proceedings of CRYPTO, Springer, 84(4):47\u201353","DOI":"10.1007\/3-540-39568-7_5"},{"issue":"12","key":"1778_CR23","doi-asserted-by":"publisher","first-page":"2681","DOI":"10.1109\/TIFS.2015.2473820","volume":"10","author":"D He","year":"2015","unstructured":"He D, Zeadally S, Xu B, Huang X (2015) An efficient identity-based conditional privacy-preserving authentication scheme for vehicular ad hoc Networks. IEEE Trans Inf Forensics Secur 10(12):2681\u20132691","journal-title":"IEEE Trans Inf Forensics Secur"},{"key":"1778_CR24","doi-asserted-by":"crossref","unstructured":"Alazzawi M, Lu H, Yassin A, Chen K (2019) Efficient conditional anonymity with message integrity and authentication in a vehicular ad hoc network. IEEE Access","DOI":"10.1109\/ACCESS.2019.2919973"},{"key":"1778_CR25","doi-asserted-by":"publisher","first-page":"15633","DOI":"10.1109\/ACCESS.2021.3053043","volume":"9","author":"JS Alshudukhi","year":"2021","unstructured":"Alshudukhi JS, Al-Mekhlafi ZG, Mohammed BA (2021) A lightweight authentication with privacy-preserving scheme for vehicular ad hoc networks based on elliptic curve cryptography. IEEE Access 9:15633\u201315642","journal-title":"IEEE Access"},{"key":"1778_CR26","doi-asserted-by":"publisher","first-page":"102387","DOI":"10.1016\/j.sysarc.2021.102387","volume":"123","author":"U Bansal","year":"2022","unstructured":"Bansal U, Kar J, Ali I, Naik K (2022) Id-ceppa: identity-based computationally efficient privacy-preserving authentication scheme for vehicle-to-vehicle communications. J Syst Architect 123:102387","journal-title":"J Syst Architect"},{"key":"1778_CR27","doi-asserted-by":"crossref","unstructured":"Mohammed BA, Al-Shareeda MA, Manickam S, Al-Mekhlafi ZG, Alreshidi A, Alazmi M, Alshudukhi JS, Alsaffar M (2023) Fc-pa: fog computing-based pseudonym authentication scheme in 5g-enabled vehicular networks. IEEE Access","DOI":"10.1109\/ACCESS.2023.3247222"},{"issue":"4","key":"1778_CR28","doi-asserted-by":"publisher","first-page":"872","DOI":"10.3390\/electronics12040872","volume":"12","author":"ZG Al-Mekhlafi","year":"2023","unstructured":"Al-Mekhlafi ZG, Al-Shareeda MA, Manickam S, Mohammed BA, Alreshidi A, Alazmi M, Alshudukhi JS, Alsaffar M, Alsewari A (2023) Chebyshev polynomial-based fog computing scheme supporting pseudonym revocation for 5g-enabled vehicular networks. Electronics 12(4):872","journal-title":"Electronics"},{"key":"1778_CR29","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.ins.2015.04.033","volume":"317","author":"S-J Horng","year":"2015","unstructured":"Horng S-J, Tzeng S-F, Huang P-H, Wang X, Li T, Khan MK (2015) An efficient certificateless aggregate signature with conditional privacy-preserving for vehicular sensor networks. Inf Sci 317:48\u201366","journal-title":"Inf Sci"},{"key":"1778_CR30","unstructured":"Li J, Yuan H, Zhang Y (2016) Cryptanalysis and improvement of certificateless aggregate signature with conditional privacy-preserving for vehicular sensor networks. Cryptology ePrint Archive"},{"issue":"9","key":"1778_CR31","doi-asserted-by":"publisher","first-page":"5099","DOI":"10.1109\/TII.2019.2894108","volume":"15","author":"Y Zhang","year":"2019","unstructured":"Zhang Y, Deng RH, Zheng D, Li J, Wu P, Cao J (2019) Efficient and robust certificateless signature for data crowdsensing in cloud-assisted industrial iot. IEEE Trans Industr Inf 15(9):5099\u20135108","journal-title":"IEEE Trans Industr Inf"},{"key":"1778_CR32","doi-asserted-by":"crossref","unstructured":"Ali I, Chen Y, Faisal M, Li M, Ali I, Chen Y, Faisal M, Li M (2022) An ecc-based conditional privacy-preserving authentication scheme for vehicle-to-vehicle communications. Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks, 121\u2013146","DOI":"10.1007\/978-981-16-8586-6_6"},{"key":"1778_CR33","doi-asserted-by":"crossref","unstructured":"Batra S, Malhi AK (2015) An efficient certificateless aggregate signature scheme for vehicular ad-hoc networks. Discrete Mathematics & Theoretical Computer Science. 17","DOI":"10.46298\/dmtcs.2106"},{"key":"1778_CR34","doi-asserted-by":"crossref","unstructured":"Zhou Y, Cao L, Qiao Z, Xia Z, Yang B, Zhang M, Zhang W (2023) An efficient identity authentication scheme with dynamic anonymity for vanets. IEEE Internet of Things Journal","DOI":"10.1109\/JIOT.2023.3236699"},{"key":"1778_CR35","doi-asserted-by":"publisher","first-page":"3076","DOI":"10.1007\/s11227-018-2312-y","volume":"75","author":"P Kumar","year":"2019","unstructured":"Kumar P, Kumari S, Sharma V, Li X, Sangaiah AK, Islam SH (2019) Secure cls and cl-as schemes designed for vanets. J Supercomput 75:3076\u20133098","journal-title":"J Supercomput"},{"key":"1778_CR36","doi-asserted-by":"publisher","first-page":"101636","DOI":"10.1016\/j.sysarc.2019.101636","volume":"99","author":"I Ali","year":"2019","unstructured":"Ali I, Gervais M, Ahene E, Li F (2019) A blockchain-based certificateless public key signature scheme for vehicle-to-infrastructure communication in vanets. J Syst Architect 99:101636","journal-title":"J Syst Architect"},{"issue":"1","key":"1778_CR37","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1109\/JSYST.2020.2966526","volume":"15","author":"Q Mei","year":"2020","unstructured":"Mei Q, Xiong H, Chen J, Yang M, Kumari S, Khan MK (2020) Efficient certificateless aggregate signature with conditional privacy preservation in iov. IEEE Syst J 15(1):245\u2013256","journal-title":"IEEE Syst J"},{"issue":"3","key":"1778_CR38","doi-asserted-by":"publisher","first-page":"1908","DOI":"10.1109\/JIOT.2020.3019304","volume":"8","author":"G Thumbur","year":"2020","unstructured":"Thumbur G, Rao GS, Reddy PV, Gayathri N, Reddy DK, Padmavathamma M (2020) Efficient and secure certificateless aggregate signature-based authentication scheme for vehicular ad hoc networks. IEEE Internet Things J 8(3):1908\u20131920","journal-title":"IEEE Internet Things J"},{"key":"1778_CR39","doi-asserted-by":"crossref","unstructured":"Yu S, Cao Q, Wang C, Xu G, Ma H, Zhu Y, Peng Y, Jia Y (2023) Efficient ecc-based conditional privacy-preserving aggregation signature scheme in v2v. IEEE Transactions on Vehicular Technology","DOI":"10.1109\/TVT.2023.3287989"},{"key":"1778_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2021\/6679882","volume":"2021","author":"A Maria","year":"2021","unstructured":"Maria A, Pandi V, Lazarus JD, Karuppiah M, Christo MS (2021) Bbaas: blockchain-based anonymous authentication scheme for providing secure communication in vanets. Security and Communication Networks. 2021:1\u201311","journal-title":"Security and Communication Networks."},{"issue":"2","key":"1778_CR41","doi-asserted-by":"publisher","first-page":"1324","DOI":"10.1002\/wfs2.1324","volume":"1","author":"R Abassi","year":"2019","unstructured":"Abassi R (2019) Vanet security and forensics: challenges and opportunities. Wiley Interdiscip Rev Forensic Sci 1(2):1324","journal-title":"Wiley Interdiscip Rev Forensic Sci"},{"issue":"1","key":"1778_CR42","doi-asserted-by":"publisher","first-page":"45","DOI":"10.33851\/JMIS.2020.7.1.45","volume":"7","author":"A Quyoom","year":"2020","unstructured":"Quyoom A, Mir AA, Sarwar DA et al (2020) Security attacks and challenges of vanets: a literature survey. J Multimedia Inf Syst 7(1):45\u201354","journal-title":"J Multimedia Inf Syst"},{"key":"1778_CR43","doi-asserted-by":"crossref","unstructured":"Goyal AK, Agarwal G, Tripathi AK, Sharma G (2022) Systematic study of vanet: applications, challenges, threats, attacks, schemes and issues in research. Green Computing in Network Security, 33\u201352","DOI":"10.1201\/9781003097198-3"},{"key":"1778_CR44","doi-asserted-by":"crossref","unstructured":"Balaji KK, Almani D, Furnell S (2023) Assessing the impact of attacks on connected and autonomous vehicles in vehicular ad hoc networks. In: ICISSP, pp 774\u2013782","DOI":"10.5220\/0011894200003405"},{"issue":"11","key":"1778_CR45","doi-asserted-by":"publisher","first-page":"4040","DOI":"10.3390\/s18114040","volume":"18","author":"F Ahmad","year":"2018","unstructured":"Ahmad F, Adnane A, Franqueira VN, Kurugollu F, Liu L (2018) Man-in-the-middle attacks in vehicular ad-hoc networks: evaluating the impact of attackers\u2019 strategies. Sensors 18(11):4040","journal-title":"Sensors"},{"key":"1778_CR46","doi-asserted-by":"crossref","unstructured":"Gaba S, Gupta M, Singh H (2023) A comprehensive survey on vanet security attacks. In: AIP Conference Proceedings vol. 2495, AIP Publishing","DOI":"10.1063\/5.0145236"},{"key":"1778_CR47","first-page":"417","volume-title":"Conference on the theory and application of cryptographic techniques","author":"V Miller","year":"1985","unstructured":"Miller V (1985) Use of elliptic curves in cryptography. Conference on the theory and application of cryptographic techniques. Springer, Berlin Heidelberg, pp 417\u2013426"},{"issue":"1","key":"1778_CR48","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/s11277-014-1879-8","volume":"79","author":"I Memon","year":"2014","unstructured":"Memon I, Mohammed MR, Akhtar R, Memon H, Memon MH, Shaikh RA (2014) Design and implementation to authentication over a gsm system using certificate-less public key cryptography (cl-pkc). Wireless Pers Commun 79(1):661\u2013686","journal-title":"Wireless Pers Commun"},{"issue":"177","key":"1778_CR49","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1090\/S0025-5718-1987-0866109-5","volume":"48","author":"N Koblitz","year":"1987","unstructured":"Koblitz N (1987) Elliptic curve cryptosystems. Math Comput 48(177):203\u2013209","journal-title":"Math Comput"},{"key":"1778_CR50","unstructured":"Nakamoto S (2008) Bitcoin: a peer-to-peer electronic cash system. Decentralized Business Review, 21260"},{"key":"1778_CR51","doi-asserted-by":"crossref","unstructured":"Wang X, Zha X, Ni W, Liu RP, Guo YJ, Niu X, Zheng K (2019) Survey on blockchain for internet of things. Comput Commun 136:10\u201329","DOI":"10.1016\/j.comcom.2019.01.006"},{"issue":"5","key":"1778_CR52","doi-asserted-by":"publisher","first-page":"8076","DOI":"10.1109\/JIOT.2019.2920987","volume":"6","author":"H-N Dai","year":"2019","unstructured":"Dai H-N, Zheng Z, Zhang Y (2019) Blockchain for internet of things: a survey. IEEE Internet Things J 6(5):8076\u20138094","journal-title":"IEEE Internet Things J"},{"key":"1778_CR53","doi-asserted-by":"publisher","first-page":"45655","DOI":"10.1109\/ACCESS.2018.2864189","volume":"6","author":"Z Lu","year":"2018","unstructured":"Lu Z, Liu W, Wang Q, Qu G, Liu Z (2018) A privacy-preserving trust model based on blockchain for vanets. Ieee Access 6:45655\u201345664","journal-title":"Ieee Access"},{"issue":"7","key":"1778_CR54","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1109\/JPROC.2011.2132790","volume":"99","author":"JB Kenney","year":"2011","unstructured":"Kenney JB (2011) Dedicated short-range communications (dsrc) standards in the United States. Proc IEEE 99(7):1162\u20131182","journal-title":"Proc IEEE"},{"key":"1778_CR55","doi-asserted-by":"crossref","unstructured":"Oh H, Yae C, Ahn D, Cho H (1999) 5.8 ghz dsrc packet communication system for its services. In: gateway to 21st century communications village. VTC 1999-Fall. IEEE VTS 50th vehicular technology conference (Cat. No. 99CH36324), IEEE, 4:2223\u20132227","DOI":"10.1109\/VETECF.1999.797333"},{"key":"1778_CR56","doi-asserted-by":"crossref","unstructured":"Armando A, Basin D, Boichut Y, Chevalier Y, Compagna, L, Cu\u00e9llar J, Drielsma PH, H\u00e9am P-C, Kouchnarenko O, Mantovani J, et al (2005) The avispa tool for the automated validation of internet security protocols and applications. In: International Conference on Computer Aided Verification, pp 281\u2013285","DOI":"10.1007\/11513988_27"},{"key":"1778_CR57","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2005.11.052","volume":"155","author":"L Vigano","year":"2006","unstructured":"Vigano L (2006) Automated security protocol analysis with the avispa tool. Electron Notes Theor Comput Sci 155:61\u201386","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"5\u20137","key":"1778_CR58","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1002\/stvr.1531","volume":"25","author":"F Dadeau","year":"2015","unstructured":"Dadeau F, H\u00e9am P-C, Kheddam R, Maatoug G, Rusinowitch M (2015) Model-based mutation testing from security protocols in hlpsl. Softw Test Verification Reliab 25(5\u20137):684\u2013711","journal-title":"Softw Test Verification Reliab"},{"key":"1778_CR59","unstructured":"Von\u00a0Oheimb D (2005) The high-level protocol specification language hlpsl developed in the eu project avispa. In: Proceedings of APPSEM 2005 Workshop, APPSEM\u201905, Tallinn, Estonia pp 1\u201317"},{"issue":"6","key":"1778_CR60","doi-asserted-by":"publisher","first-page":"0287291","DOI":"10.1371\/journal.pone.0287291","volume":"18","author":"AA Almazroi","year":"2023","unstructured":"Almazroi AA, Aldhahri EA, Al-Shareeda MA, Manickam S (2023) Eca-vfog: an efficient certificateless authentication scheme for 5g-assisted vehicular fog computing. PLoS ONE 18(6):0287291","journal-title":"PLoS ONE"},{"issue":"2","key":"1778_CR61","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 (1983) On the security of public key protocols. IEEE Trans Inf Theory 29(2):198\u2013208","journal-title":"IEEE Trans Inf Theory"},{"key":"1778_CR62","unstructured":"Scott M (2003) Miracl-a multiprecision integer and rational arithmetic c\/c++ library. http:\/\/www.shamus.ie"}],"container-title":["Peer-to-Peer Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-024-01778-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12083-024-01778-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-024-01778-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T15:27:57Z","timestamp":1731425277000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12083-024-01778-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,31]]},"references-count":62,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["1778"],"URL":"https:\/\/doi.org\/10.1007\/s12083-024-01778-9","relation":{},"ISSN":["1936-6442","1936-6450"],"issn-type":[{"value":"1936-6442","type":"print"},{"value":"1936-6450","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,31]]},"assertion":[{"value":"18 December 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 August 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics Approval"}},{"value":"All authors have read and agreed to the published the manuscript.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to publish"}},{"value":"The authors declare no conflict of interest.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}