{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:34:35Z","timestamp":1771025675729,"version":"3.50.1"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"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":["62372422"],"award-info":[{"award-number":["62372422"]}],"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":["61972369"],"award-info":[{"award-number":["61972369"]}],"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":["62102385"],"award-info":[{"award-number":["62102385"]}],"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":["62272434"],"award-info":[{"award-number":["62272434"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key R&D Program of China","award":["2021QY2104"],"award-info":[{"award-number":["2021QY2104"]}]},{"name":"Anhui Province Natural Science Foundation","award":["2108085QF262"],"award-info":[{"award-number":["2108085QF262"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["WK2150110024"],"award-info":[{"award-number":["WK2150110024"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1109\/tdsc.2024.3368131","type":"journal-article","created":{"date-parts":[[2024,2,21]],"date-time":"2024-02-21T19:02:37Z","timestamp":1708542157000},"page":"5059-5070","source":"Crossref","is-referenced-by-count":6,"title":["Advancing the Automation Capability of Verifying Security Protocols"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6892-8767","authenticated-orcid":false,"given":"Wansen","family":"Wang","sequence":"first","affiliation":[{"name":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2043-2439","authenticated-orcid":false,"given":"Wenchao","family":"Huang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3788-9643","authenticated-orcid":false,"given":"Zhaoyi","family":"Meng","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Anhui University, Hefei, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6347-8747","authenticated-orcid":false,"given":"Yan","family":"Xiong","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3357-7127","authenticated-orcid":false,"given":"Cheng","family":"Su","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, China"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"BNB ERC20 Whitepaper","year":"2019"},{"key":"ref2","volume-title":"Tamarin Prover Official Repository","year":"2019"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_27"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.20"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48405-1_29"},{"key":"ref6","first-page":"1","article-title":"CANAuth-A simple, backward compatible broadcast authentication protocol for can bus","volume-title":"Proc. ECRYPT Workshop Lightweight Cryptogr.","author":"Herrewege"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.25"},{"key":"ref8","article-title":"source package of proverif version 2.05","author":"Blanchet","year":"2023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833653"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.29172\/7c2a6982-6d72-4cd8-bba6-2fccb06a7011"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66402-6_23"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134063"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.35"},{"key":"ref14","first-page":"3935","article-title":"SAPIC+: Protocol verifiers of the world, unite!","volume-title":"Proc. 31st USENIX Secur. Symp.","author":"Cheval"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-210053"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_38"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813662"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660294"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978385"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/24592.24594"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.17"},{"key":"ref23","first-page":"2235","article-title":"DeepMath - deep sequence models for premise selection","volume-title":"Proc. Annu. Conf. Neural Inf. Process. Syst.","author":"Irving"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9202-1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68063-7_10"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.10"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74852"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134027"},{"key":"ref31","article-title":"Advancing automated security protocol verification","author":"Meier","year":"2013"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866348"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2017.38"},{"key":"ref34","article-title":"Pkcs #11 cryptographic token interface base specification version 2.40","year":"2015","journal-title":"OASIS Standard"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94205-6_37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38004-4_17"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1177\/1687814017730731"},{"key":"ref38","first-page":"926","article-title":"Reasoning with neural tensor networks for knowledge base completion","volume-title":"Proc. 27th Annu. Conf. Neural Inf. Process. Syst.","author":"Socher"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.12"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.3233\/jcs-2009-0394"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03829-7_1"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.18"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.35"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02768-1_17"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00032"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2017.19"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2018.00037"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2006-14504"},{"key":"ref51","first-page":"253","article-title":"SmartVerif: Push the limit of automation capability of verifying security protocols by dynamic strategies","volume-title":"Proc. USENIX Secur. Symp.","author":"Xiong"},{"key":"ref52","article-title":"The yubikey manual - usage, configuration and introduction of basic concepts (version 3.4)","author":"Yubico","year":"2015"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/10750463\/10443063.pdf?arnumber=10443063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T23:10:56Z","timestamp":1732662656000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10443063\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":52,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2024.3368131","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":[[2024,11]]}}}