{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T02:13:35Z","timestamp":1773713615921,"version":"3.50.1"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U24B20145"],"award-info":[{"award-number":["U24B20145"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62133014"],"award-info":[{"award-number":["62133014"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62321003"],"award-info":[{"award-number":["62321003"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangxi Major Science and Technology Program","award":["AA23062068"],"award-info":[{"award-number":["AA23062068"]}]},{"name":"Guangxi Major Science and Technology Program","award":["2023AA03006"],"award-info":[{"award-number":["2023AA03006"]}]},{"name":"Changsha Major Science and Technology Program","award":["kh240100"],"award-info":[{"award-number":["kh240100"]}]},{"name":"Key Research and Development Program of Hunan Province","award":["2025JK2001"],"award-info":[{"award-number":["2025JK2001"]}]},{"name":"Key Research and Development Program of Hunan Province","award":["2025JK2041"],"award-info":[{"award-number":["2025JK2041"]}]},{"name":"Project of Yuelushan Center for Industrial Innovation","award":["2025YCII0126"],"award-info":[{"award-number":["2025YCII0126"]}]},{"DOI":"10.13039\/100014472","name":"Scientific Research Foundation of Hunan Provincial Education Department","doi-asserted-by":"publisher","award":["24A0472"],"award-info":[{"award-number":["24A0472"]}],"id":[{"id":"10.13039\/100014472","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Regional Joint Fund of the Natural Science Foundation","award":["2024JJ7219"],"award-info":[{"award-number":["2024JJ7219"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1109\/tdsc.2025.3646041","type":"journal-article","created":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T18:36:05Z","timestamp":1766082965000},"page":"4340-4354","source":"Crossref","is-referenced-by-count":0,"title":["LigSecOTA: Lightweight Over-the-Air (OTA) Software Updates With Integrated Security"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6192-8177","authenticated-orcid":false,"given":"Ruiqi","family":"Lu","sequence":"first","affiliation":[{"name":"School of Artificial Intelligence, Hunan Institute of Science and Technology, Key Laboratory of Hunan Province on Intelligent Control and Optimization of Complex Industrial Logistics Systems, Yueyang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6625-0350","authenticated-orcid":false,"given":"Guoqi","family":"Xie","sequence":"additional","affiliation":[{"name":"Key Laboratory for Embedded and Network Computing of Hunan Province, College of Computer Science and Electronic Engineering, Hunan University, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4754-7340","authenticated-orcid":false,"given":"Lida","family":"Huang","sequence":"additional","affiliation":[{"name":"Key Laboratory for Embedded and Network Computing of Hunan Province, College of Computer Science and Electronic Engineering, Hunan University, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinzhong","family":"Liu","sequence":"additional","affiliation":[{"name":"SAIC-GM-Wuling Automobile Company, Ltd., Liuzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2212-6275","authenticated-orcid":false,"given":"Wei","family":"Xu","sequence":"additional","affiliation":[{"name":"China Automotive Engineering Research Institute Company, Ltd., Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3978-2123","authenticated-orcid":false,"given":"Jianmei","family":"Lei","sequence":"additional","affiliation":[{"name":"China Automotive Engineering Research Institute Company, Ltd., Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junqiang","family":"Jiang","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Embedded Systems Laboratory (ESLAB), Linköping University, Linköping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Over-the-air update","year":"2025"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107343"},{"key":"ref3","first-page":"8","article-title":"Comprehensive experimental analyses of automotive attack surfaces","volume-title":"Proc. 20th USENIX Secur. Symp.","author":"Checkoway","year":"2011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2022.100508"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/VTC2021-Fall52928.2021.9625372"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DCOSS49796.2020.00070"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19786-4_20"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-016-1870-0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100759"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-9317-8_5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107343"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2016.2639503"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IEVC.2012.6183181"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain50366.2020.00067"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1117\/1.JEI.29.4.043009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S0022216X12000831"},{"key":"ref17","first-page":"259","article-title":"Forensic evidence in road accidents caused by vehicle\u2019s mechanical failures","volume-title":"Proc. 26th JUMV Int. Automot. Conf.","author":"Duboka","year":"2013"},{"key":"ref18","article-title":"Cryptographic protocol verifier in the formal model","year":"2001"},{"key":"ref19","first-page":"1","article-title":"Uptane: Securing software updates for automobiles","volume-title":"Proc. Int. Conf. Embedded Secur. Car","author":"Karthik","year":"2016"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866315"},{"key":"ref21","first-page":"673","article-title":"Mercury: Bandwidth-effective prevention of rollback attacks against community repositories","volume-title":"Proc. 2017 USENIX Annu. Tech. Conf.","author":"Kuppusamy","year":"2017"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858422"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.61137\/ijsret.vol.8.issue6.426"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0163477"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICC40277.2020.9148649"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2022.109394"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3390\/s21020515"},{"key":"ref28","article-title":"OpenSSL: Cryptography and SSL\/TLS toolkit","year":"2023"},{"key":"ref29","volume-title":"Network Security With Openssl9: Cryptography for Secure Communications","author":"Viega","year":"2002"},{"key":"ref30","article-title":"Specification of secure onboard communication (sws_secoc)","year":"2022"},{"key":"ref31","article-title":"Experiences threat modeling at microsoft","volume":"413","author":"Shostack","year":"2008","journal-title":"MODSEC, MoDELS"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE59613.2023.10315400"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3390\/vehicles6030054"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1515\/9783111476100-008"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.4271\/12-04-04-0026"},{"key":"ref36","article-title":"TLV3501 data sheet, product information and support","year":"2023"},{"key":"ref37","article-title":"Zynq-7000 SoC","year":"2021"},{"key":"ref38","article-title":"Ls1028a: Layerscape 1028a applications processor","year":"2017"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/175247.175256"},{"key":"ref40","article-title":"Back propagation neural network: What is backpropagation algorithm in machine learning?","author":"Johnson","year":"2022"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3230501"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/12.55696"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3362034"},{"key":"ref44","first-page":"323","article-title":"Security and privacy vulnerabilities of in-car wireless networks: A tire pressure monitoring system case study","volume-title":"Proc. 19th USENIX Secur. Symp.","author":"Rouf","year":"2010"},{"key":"ref45","volume-title":"MySQL","author":"DuBois","year":"2013"},{"issue":"7","key":"ref46","first-page":"12252","article-title":"Blockchain based digital certification platform: Certidapp","volume":"7","author":"Ata\u015fen","year":"2020","journal-title":"J. Multidisciplinary Eng. Sci. Technol."},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93797-7_14"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1644893.1644896"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2023.3314908"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2960407"},{"key":"ref52","article-title":"ProVerif 2.00: Automatic cryptographic protocol verifier","author":"Blanchet","year":"2023","journal-title":"User Manual Tut."},{"key":"ref53","first-page":"23","article-title":"Formalization of security requirements and attack models for cryptographic hash functions in ProVerif","volume-title":"Proc. Int. Conf. Secur. Manage.","author":"Yoshimura","year":"2019"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28957-7_43"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.17"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.20533\/ijisr.2042.4639.2013.0031"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.3390\/electronics10131608"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969474"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-014-9185-x"},{"key":"ref60","first-page":"242","article-title":"On the security of HMAC and NMAC based on HAVAL, MD4, MD5, SHA-0 and SHA-1","volume-title":"Proc. Int. Conf. Secur. Cryptogr. Netw","author":"Kim","year":"2006"},{"key":"ref61","article-title":"Datasheet: Tja1051","year":"2009"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/11434575\/11303932.pdf?arnumber=11303932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T01:17:03Z","timestamp":1773710223000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11303932\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3]]},"references-count":61,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2025.3646041","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3]]}}}