{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T16:27:02Z","timestamp":1781368022550,"version":"3.54.1"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001793","name":"Queensland University of Technology Postgraduate Research Award","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001793","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DP180102199"],"award-info":[{"award-number":["DP180102199"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"Polish Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2018\/31\/B\/ST6\/03003"],"award-info":[{"award-number":["2018\/31\/B\/ST6\/03003"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/tifs.2020.2983285","type":"journal-article","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T20:48:54Z","timestamp":1585169334000},"page":"3107-3122","source":"Crossref","is-referenced-by-count":69,"title":["An Efficient Authentication Scheme for Intra-Vehicular Controller Area Network"],"prefix":"10.1109","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3661-6048","authenticated-orcid":false,"given":"Basker","family":"Palaniswamy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6353-8359","authenticated-orcid":false,"given":"Seyit","family":"Camtepe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ernest","family":"Foo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1917-6466","authenticated-orcid":false,"given":"Josef","family":"Pieprzyk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","year":"2018","journal-title":"TCG TPM 2 0 Automotive Thin Profile For TPM Family 2 0 Level 0"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.21236\/ADA536188"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-015-0306-9"},{"key":"ref32","first-page":"232","article-title":"Entity authentication and key distribution","author":"bellare","year":"1993","journal-title":"Proc Annu Int Cryptol Conf"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44987-6_28"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref37","first-page":"91","article-title":"Remote exploitation of an unaltered passenger vehicle","author":"miller","year":"2015","journal-title":"Black Hat"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2009.5062485"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45539-6_11"},{"key":"ref28","author":"stand-alone","year":"1999","journal-title":"Controller with SPI Interface"},{"key":"ref27","year":"2015"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1007\/978-1-4419-5906-5_324","article-title":"Man-in-the-middle attack","author":"desmedt","year":"2011","journal-title":"Encyclopedia of Cryptography and Security"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1201\/9780849380273.ch4"},{"key":"ref1","first-page":"1","author":"pazul","year":"1999","journal-title":"Controller Area Network (CAN) Basics"},{"key":"ref20","article-title":"Evita: E-safety vehicle intrusion protected applications","author":"henniger","year":"2011"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2008.259"},{"key":"ref21","first-page":"302","author":"wolf","year":"2012","journal-title":"Design Implementation and Evaluation of a Vehicular Hardware Security Module"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45741-3_15"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2239301"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2519464"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0314-2"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2015.2439964"},{"key":"ref51","first-page":"332","author":"shoup","year":"2004","journal-title":"Sequences of games A tool for taming complexity in security proofs"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3098954.3105824"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2016.60"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2573746"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"ref54","year":"2020","journal-title":"Tamarin-Prover Manual Security Protocol Analysis in the Symbolic Model"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref52","year":"2020","journal-title":"Tamarin Scripts This Paper"},{"key":"ref10","article-title":"Remote exploitation of an unaltered passenger vehicle","author":"miller","year":"2015","journal-title":"Black Hat"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35404-5_15"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2018.2795384"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2017.00017"},{"key":"ref13","first-page":"66","article-title":"Simulated attacks on CAN buses: Vehicle virus","author":"nilsson","year":"2008","journal-title":"Proc IASTED Int Conf Commun Syst Netw"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4271\/2007-01-3523"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3302509.3313783"},{"key":"ref17","first-page":"94","article-title":"Incanta-intrusion detection in controller area networks with time-covert authentication","author":"groza","year":"2018","journal-title":"Security and Safety Interplay of Intelligent Software Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2895957"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1201\/9781420038163"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.10.015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4158(94)90041-8"},{"key":"ref6","first-page":"260","article-title":"Adventures in automotive networks and control units","volume":"21","author":"miller","year":"2013","journal-title":"DEF CON"},{"key":"ref5","first-page":"91","article-title":"Remote exploitation of an unaltered passenger vehicle","volume":"2015","author":"miller","year":"2015","journal-title":"Black Hat USA"},{"key":"ref8","article-title":"Can message injection","author":"miller","year":"2016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2010.06.026"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.15373\/2249555X\/MAR2014\/91"},{"key":"ref9","first-page":"993","article-title":"A practical wireless attack on the connected car and security protocol for in-vehicle CAN","volume":"16","author":"woo","year":"2015","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30580-4_6"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/11507840_31"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40061-5_33"},{"key":"ref47","first-page":"506","article-title":"Public key encryption with keyword search","author":"boneh","year":"2004","journal-title":"Proc Int Conf Theory Appl Cryptograph Techn"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.05.006"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168596"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1109\/TIFS.2014.2388156","article-title":"Adaptively secure identity-based broadcast encryption with a constant-sized ciphertext","volume":"10","author":"kim","year":"2015","journal-title":"IEEE Trans Inf Forensics Security"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2615853"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10206\/8833568\/09046809.pdf?arnumber=9046809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:00:46Z","timestamp":1651078846000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9046809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":58,"URL":"https:\/\/doi.org\/10.1109\/tifs.2020.2983285","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}