{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:14:11Z","timestamp":1775013251581,"version":"3.50.1"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3488570","type":"journal-article","created":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T17:55:34Z","timestamp":1730310934000},"page":"167944-167969","source":"Crossref","is-referenced-by-count":1,"title":["On Secure and Energy-Efficient Message Communication Protocols for Internet of Vehicles: Cryptanalysis and Improvements"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-5669-2261","authenticated-orcid":false,"given":"Gelare Oudi","family":"Ghadim","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan, Iran"}]},{"given":"Mohammad","family":"Dakhilalian","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan, Iran"}]},{"given":"Parvin","family":"Rastegari","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Group, Golpayegan College of Engineering, Isfahan University of Technology, Golpayegan, Iran"}]},{"given":"Faramarz","family":"Hendessi","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan, Iran"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1562-5105","authenticated-orcid":false,"given":"Willy","family":"Susilo","sequence":"additional","affiliation":[{"name":"Institute of Cybersecurity and Cryptology, School of Computing and Information Technology, University of Wollongong, Wollongong, Australia"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2018.8422447"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICNAS.2019.8807870"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.107989"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2869543"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3113652"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MCOMSTD.001.1900053"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3091163"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2021.3062766"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2008.58"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2007.12.003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2013.2257188"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2308215"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2015.2473820"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CITS.2016.7546385"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2780183"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2827460"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3050399"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2231792"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/sec.1602"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/s17122854"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2911924"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2019.2932807"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2020.3029895"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-022-04562-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3390\/app14062451"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2023.3286187"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2023.3264829"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3266030"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2023.11.014"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2603219"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2020.106555"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3022778"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/5554318"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2963191"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2657649"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2752420"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2923611"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2975207"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2022.104501"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3207593"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3265959"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2024.3381068"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.2981934"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2020.3009382"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48405-1_25"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"ref48","volume-title":"Proverif 2.05: Automatic Cryptographic Protocol Verifier","year":"2023"},{"key":"ref49","first-page":"414","article-title":"The scyther tool: Verification, falsification, and analysis of security protocols: Tool paper","volume-title":"Proc. Int. Conf. Comput. Aided Verification.","author":"Cremers"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30580-4_6"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2023.3327322"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3034219"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2023.3309860"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2021.107669"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3119685"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2022.3227281"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.2983285"},{"key":"ref58","volume-title":"Tamarin-Prover Manual Security Protocol Analysis in the Symbolic Model","year":"2024"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10380310\/10738721.pdf?arnumber=10738721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T17:46:31Z","timestamp":1732729591000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10738721\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":58,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3488570","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}