{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T03:16:44Z","timestamp":1778901404115,"version":"3.51.4"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"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":["12441101"],"award-info":[{"award-number":["12441101"]}],"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":["62372386"],"award-info":[{"award-number":["62372386"]}],"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":["92582113"],"award-info":[{"award-number":["92582113"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Cryptography Science Foundation of China","award":["2025NCSF02055"],"award-info":[{"award-number":["2025NCSF02055"]}]},{"name":"National Key Research and Development Program of China","award":["2025YFE0220300"],"award-info":[{"award-number":["2025YFE0220300"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1109\/tdsc.2026.3656357","type":"journal-article","created":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T21:13:22Z","timestamp":1769030002000},"page":"5559-5576","source":"Crossref","is-referenced-by-count":0,"title":["Proof of Persistent Aliveness"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2227-9896","authenticated-orcid":false,"given":"Xuelian","family":"Cao","sequence":"first","affiliation":[{"name":"Southwest University, Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8610-9936","authenticated-orcid":false,"given":"Zheng","family":"Yang","sequence":"additional","affiliation":[{"name":"Southwest University, Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7165-398X","authenticated-orcid":false,"given":"Jianting","family":"Ning","sequence":"additional","affiliation":[{"name":"College of Information Science and Engineering, Zhejiang Sci-Tech University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6306-8019","authenticated-orcid":false,"given":"Chenglu","family":"Jin","sequence":"additional","affiliation":[{"name":"CWI Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9771-3071","authenticated-orcid":false,"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[{"name":"Southwest University, Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0594-0432","authenticated-orcid":false,"given":"Jianying","family":"Zhou","sequence":"additional","affiliation":[{"name":"iTrust, Singapore University of Technology and Design, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Path computation element (PCE) communication protocol generic requirements","author":"Roux","year":"2006"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3359789.3359827"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2023.3335188"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref5","article-title":"Baltimore investigation turns to ship\u2019s deadly mechanical failure","author":"Baker","year":"2024"},{"key":"ref6","article-title":"Russian hackers used ot attack to disrupt power in Ukraine amid mass missile strikes","author":"Naraine","year":"2023"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-020-00529-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2021.i3.170-217"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3449047"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2022.103028"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-020-09364-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26948-7_22"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03329-3_8"},{"key":"ref14","article-title":"Bitcoin: A peer-to-peer electronic cash system","author":"Nakamoto","year":"2009"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25405-5_8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35999-6_5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179381"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48071-4_10"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055484"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46803-6_10"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055466"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96884-1_26"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.17487\/rfc1760"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133989"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/358790.358797"},{"key":"ref26","article-title":"Two remarks on public key cryptology","author":"Anderson","year":"2002"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48405-1_28"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44647-8_20"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-018-9283-2"},{"key":"ref30","article-title":"Large provably fast and secure digital signature schemes based on secure hash functions","author":"Leighton","year":"1995"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01001-9_24"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49384-7_15"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-22972-5_1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88403-3_5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363229"},{"key":"ref36","first-page":"11","article-title":"Model-driven system-performance engineering for cyber-physical systems","volume-title":"Proc. Int. Conf. Embedded Softw.","author":"Sanden"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/11761679_25"},{"key":"ref38","article-title":"Sequences of games: A tool for taming complexity in security proofs","volume":"2004","author":"Shoup","year":"2004","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"ref39","first-page":"781","article-title":"$\\lbrace${BootStomp$\\rbrace$}: On the security of bootloaders in mobile devices","volume-title":"Proc. 26th USENIX Secur. Symp.","author":"Redini"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24676-3_24"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5246"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.17487\/RFC8446"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2014.20"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134092"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2654160"},{"key":"ref47","article-title":"Miracl cryptographic library","year":"2018"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-90r"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/springerreference_62075"},{"key":"ref50","article-title":"LMS vs XMSS: Comparion of two hash-based signature standards","author":"Kampanakis","year":"2017","journal-title":"Cryptol. ePrint Arch."}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/11517592\/11359796.pdf?arnumber=11359796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T03:03:17Z","timestamp":1778900597000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11359796\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":50,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2026.3656357","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,5]]}}}