{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T17:50:55Z","timestamp":1757699455755,"version":"3.40.1"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"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":["61932010","62133014","62272155","62321003","61972139"],"award-info":[{"award-number":["61932010","62133014","62272155","62321003","61972139"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004735","name":"Natural Science Foundation of Hunan Province","doi-asserted-by":"publisher","award":["2022JJ10021"],"award-info":[{"award-number":["2022JJ10021"]}],"id":[{"id":"10.13039\/501100004735","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005230","name":"Natural Science Foundation of Chongqing","doi-asserted-by":"publisher","award":["CSTC2021JCYJMSXMX0461","CSTB2022NSCQ-MSX1393","CSTB2022NSCQ-MSX108"],"award-info":[{"award-number":["CSTC2021JCYJMSXMX0461","CSTB2022NSCQ-MSX1393","CSTB2022NSCQ-MSX108"]}],"id":[{"id":"10.13039\/501100005230","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Major Project of Science and Technology of Guangxi","award":["2023AA03006"],"award-info":[{"award-number":["2023AA03006"]}]},{"name":"Major Project of Science and Technology of Chongqing","award":["CSTB2022TIADSTX0001"],"award-info":[{"award-number":["CSTB2022TIADSTX0001"]}]},{"name":"Major Project of Science and Technology of Changsha","award":["kh2401002"],"award-info":[{"award-number":["kh2401002"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tdsc.2024.3417022","type":"journal-article","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T17:39:14Z","timestamp":1718905154000},"page":"870-887","source":"Crossref","is-referenced-by-count":1,"title":["Fast Game Verification for Safety- and Security-Critical Distributed Applications"],"prefix":"10.1109","volume":"22","author":[{"given":"Wei","family":"Luo","sequence":"first","affiliation":[{"name":"Key Laboratory for Embedded and Network Computing of Hunan Province, College of Computer Science and Electronic Engineering, Hunan University, Changsha, Hunan, China"}]},{"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, Hunan, China"}]},{"given":"Yao","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Tourism Data, Guilin Tourism University, Guilin, Guangxi, China"}]},{"given":"Xiongren","family":"Xiao","sequence":"additional","affiliation":[{"name":"Key Laboratory for Embedded and Network Computing of Hunan Province, College of Computer Science and Electronic Engineering, Hunan University, Changsha, Hunan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4573-7375","authenticated-orcid":false,"given":"Renfa","family":"Li","sequence":"additional","affiliation":[{"name":"Key Laboratory for Embedded and Network Computing of Hunan Province, College of Computer Science and Electronic Engineering, Hunan University, Changsha, Hunan, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/AE54730.2022.9920078"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC55426.2022.9931880"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSRS56243.2022.10067806"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ITQMIS53292.2021.9642824"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2017.2762621"},{"key":"ref6","article-title":"Formal verification for SoC security","author":"He","year":"2021","journal-title":"Front. Hardware Secur. Trust"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86261-9_1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2174\/2666255813666201207154230"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2021.3049780"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2021.126784"},{"issue":"3","key":"ref11","first-page":"1195","article-title":"A non-cooperative game based optimal dispatch model for integrated energy systems","volume":"10","author":"Duan","year":"2024","journal-title":"CSEE J. Power Energy Syst."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EI250167.2020.9346741"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ASCC56756.2022.9828239"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MTV48867.2019.00018"},{"key":"ref15","first-page":"1","article-title":"Invited: Formal verification of security critical hardware-firmware interactions in commercial SoCs","volume-title":"Proc. 56th ACM\/IEEE Des. Automat. Conf.","author":"Ray"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISKE54062.2021.9755339"},{"issue":"2","key":"ref17","first-page":"189","article-title":"A hybrid meta-heuristic approach to cope with state space explosion in model checking technique for deadlock freeness","volume":"8","author":"Rezaee","year":"2020","journal-title":"J. AI Data Mining"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2803174"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2519464"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2907921"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2994583"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2011.5783087"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2018.8537217"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/PICECE.2019.8747193"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1275986.1275992"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/j.micpro.2016.08.002","article-title":"Design optimization for security- and safety-critical distributed real-time applications","volume":"52","author":"Jiang","year":"2017","journal-title":"Microprocessors Microsystems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICEE.2007.4287293"},{"key":"ref28","article-title":"The security of the RC6 block cipher","author":"Contini","year":"2000","journal-title":"NIST AES Submission"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.08.002"},{"issue":"10","key":"ref30","doi-asserted-by":"crossref","first-page":"1394","DOI":"10.1016\/j.sysarc.2013.09.008","article-title":"Measurement-based research on cryptographic algorithms for embedded real-time systems","volume":"59","author":"Jiang","year":"2013","journal-title":"J. Syst. Archit."},{"issue":"4","key":"ref31","article-title":"Reliability optimization of hardware components and system\u00c2\u2019s topology during early design phase","volume":"18","author":"Kazeminia","year":"2014","journal-title":"J. Amer. Assoc. Pediatr. Ophthalmol. Strabismus"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0314-2"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.8"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICM2CS.2009.5397970"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1080\/14703290903525838"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2017.2762621"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/10925471\/10565945.pdf?arnumber=10565945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T21:19:46Z","timestamp":1742246386000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10565945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":36,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2024.3417022","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"type":"print","value":"1545-5971"},{"type":"electronic","value":"1941-0018"},{"type":"electronic","value":"2160-9209"}],"subject":[],"published":{"date-parts":[[2025,3]]}}}