{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:18:39Z","timestamp":1740169119897,"version":"3.37.3"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61163005","61562026"],"award-info":[{"award-number":["61163005","61562026"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Jiangxi Province Major Discipline Academic and Technical Leadership Funding Program","award":["20172BCB22015"],"award-info":[{"award-number":["20172BCB22015"]}]},{"name":"Jiangxi Special Graduate Innovation Foundation","award":["YC2018-S261"],"award-info":[{"award-number":["YC2018-S261"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2915645","type":"journal-article","created":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T20:04:36Z","timestamp":1557345876000},"page":"59871-59883","source":"Crossref","is-referenced-by-count":3,"title":["LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4916-7317","authenticated-orcid":false,"given":"Jiawen","family":"Song","sequence":"first","affiliation":[{"name":"School of Software, East China Jiaotong University, Nanchang, China"}]},{"given":"Meihua","family":"Xiao","sequence":"additional","affiliation":[{"name":"School of Software, East China Jiaotong University, Nanchang, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6441-2309","authenticated-orcid":false,"given":"Ke","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Software, East China Jiaotong University, Nanchang, China"}]},{"given":"Xizhong","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Software, East China Jiaotong University, Nanchang, China"}]},{"given":"Xiaomei","family":"Zhong","sequence":"additional","affiliation":[{"name":"School of Software, East China Jiaotong University, Nanchang, China"}]}],"member":"263","reference":[{"year":"2018","author":"szefer","journal-title":"Practical and scalable security verification of secure architectures","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICPCSI.2017.8391883"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1002\/sec.1068"},{"key":"ref13","first-page":"13","article-title":"Automated proof of authentication protocols in a logic of events","author":"bickford","year":"2010","journal-title":"Proc VERIFY IJCAR"},{"key":"ref14","first-page":"2236","article-title":"Security proof of wireless mesh network authentication protocol based on event logic","volume":"39","author":"yanan","year":"2017","journal-title":"Computing in Science & Eng"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/359545.359563"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-642-02414-6_9"},{"key":"ref17","first-page":"1850","article-title":"Improvement of the safety of the needham-schroeder protocol based on event logic","volume":"37","author":"xinqian","year":"2015","journal-title":"Computing in Science & Eng"},{"key":"ref18","first-page":"1701","article-title":"Proof of three-party network protocol security based on strong authentication theory","volume":"10","author":"meihua","year":"2016","journal-title":"Experimental Computer Science"},{"key":"ref19","first-page":"360","article-title":"A secure two-way authentication protocol based on SRAM PUF","volume":"4","author":"dan","year":"2017","journal-title":"J Cryptogr"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-540-87873-5_7"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/WISM.2009.111"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1049\/cje.2015.01.031"},{"key":"ref5","first-page":"29","article-title":"Formal foundations of computer security","volume":"14","author":"bickford","year":"2008","journal-title":"NATO Secur Through Sci D Inf Commun Secur"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1368310.1368324"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.entcs.2007.02.012"},{"year":"2003","author":"bickford","article-title":"A logic of events","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.jal.2005.10.005"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1102120.1102124"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-319-32525-5_1"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/CCECE.2018.8447762"},{"key":"ref21","first-page":"34","article-title":"Secrecy by witness functions","author":"fattahi","year":"2014","journal-title":"Proc FMS Petri Nets"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08709784.pdf?arnumber=8709784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T19:55:36Z","timestamp":1662666936000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8709784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2915645","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2019]]}}}