{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:18:16Z","timestamp":1740169096943,"version":"3.37.3"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"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 Key Subject Academic and Technical Leader Funding Project","award":["2017XSDTR0105"],"award-info":[{"award-number":["2017XSDTR0105"]}]},{"DOI":"10.13039\/501100004479","name":"Natural Science Foundation of Jiangxi Province","doi-asserted-by":"publisher","award":["20161BAB202063"],"award-info":[{"award-number":["20161BAB202063"]}],"id":[{"id":"10.13039\/501100004479","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Research Project of Education Department in Jiangxi Province","award":["GJJ170384"],"award-info":[{"award-number":["GJJ170384"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2870200","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T21:37:53Z","timestamp":1537220273000},"page":"51853-51863","source":"Crossref","is-referenced-by-count":1,"title":["Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6441-2309","authenticated-orcid":false,"given":"Ke","family":"Yang","sequence":"first","affiliation":[]},{"given":"Meihua","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Jiawen","family":"Song","sequence":"additional","affiliation":[]},{"given":"Jia","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Xiaomei","family":"Zhong","sequence":"additional","affiliation":[]},{"given":"Xizhong","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"13","article-title":"Automated proof of authentication protocols in logic of events","author":"bickford","year":"2010","journal-title":"6th International Verification Workshop"},{"key":"ref11","first-page":"363","article-title":"Logic based formal verification methods: Progress and application","volume":"52","author":"chen","year":"2016","journal-title":"Acta Scientiarum Naturalium Universitatis Pekinensis"},{"key":"ref12","first-page":"10","article-title":"A NFC based authentication method for defense of the man in the middle attack","author":"lee","year":"2013","journal-title":"Proc 3rd Int Conf Comput Sci Inf Technol"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SCNS.2016.7870562"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2016.03.002"},{"key":"ref15","first-page":"1529","article-title":"A novel lightweight identity authentication protocol in NFC application","volume":"49","author":"xu","year":"2016","journal-title":"Commun Technol"},{"article-title":"Research on physical layer security protocol in wireless network","year":"2014","author":"chen","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/2104162"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2669240"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JSTSP.2016.2607692"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2539327"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/5963584"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3065"},{"key":"ref6","first-page":"1190","article-title":"Research progress and trends on the security of near field communication","volume":"39","author":"zhang","year":"2016","journal-title":"Chin J Comput"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/sec.1490"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WISM.2009.111"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.012"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1016\/j.procs.2016.04.156","article-title":"A lightweight security protocol for NFC-based mobile payments","volume":"83","author":"badra","year":"2016","journal-title":"Procedia Comput Sci"},{"key":"ref9","first-page":"30","article-title":"Unguessable atoms: A logical foundation for security","author":"bickford","year":"2008","journal-title":"Proc VSTTE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2016.7448560"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISCISC.2012.6408203"},{"key":"ref22","first-page":"2236","article-title":"Security proof of wireless mesh network authentication protocol based on logic of events","volume":"39","author":"li","year":"2017","journal-title":"Computing in Science & Eng"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1049\/cje.2015.01.031"},{"key":"ref24","first-page":"1850","article-title":"Security authentication property of the modified Needham–Schroder protocol based on logic of event","volume":"37","author":"liu","year":"2015","journal-title":"Computing in Science & Eng"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2991\/cisia-15.2015.103"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2829026"},{"key":"ref25","first-page":"1701","article-title":"Security certification of three-party network protocols based on strong authentication theory","volume":"10","author":"xiao","year":"2016","journal-title":"Journal of Frontiers of Computer Science and Technology"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08466579.pdf?arnumber=8466579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:45:43Z","timestamp":1643233543000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8466579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2870200","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2018]]}}}