{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:34:30Z","timestamp":1740141270069,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["11\/RFP.1\/CMS 3340"],"award-info":[{"award-number":["11\/RFP.1\/CMS 3340"]}],"id":[{"id":"10.13039\/501100001602","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":[[2019,11,1]]},"DOI":"10.1109\/tdsc.2017.2725831","type":"journal-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T19:38:06Z","timestamp":1499801886000},"page":"969-983","source":"Crossref","is-referenced-by-count":7,"title":["A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks"],"prefix":"10.1109","volume":"16","author":[{"given":"Anca","family":"Jurcut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Coffey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2113-5532","authenticated-orcid":false,"given":"Reiner","family":"Dojen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02457-3_18"},{"article-title":"SSH transport layer protocol","year":"1996","author":"yl\u00f6nen","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2004.06.111"},{"key":"ref31","first-page":"83","article-title":"Semantical considerations on modal logics","volume":"16","author":"kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2012.10.004"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-49162-7_12","article-title":"Unknown key-share attacks on the station-to-station (STS) protocol","volume":"1560","author":"blake-wilson","year":"1999","journal-title":"Public Key Cryptography"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BF00124891"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00144-2"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19970838"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2008.11.019"},{"key":"ref40","first-page":"260","article-title":"An efficient and practical finger-print-based remote user authentication scheme with smart cards","author":"khan","year":"2006","journal-title":"Proc Int Conf Inf Secur Practice Experience"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04434-2_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2011.01.011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/sec.312"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2012.12.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36252-1_7"},{"key":"ref16","first-page":"166","article-title":"Security analysis of a new ultra-lightweight RFID protocol and its improvement","volume":"4","author":"zhuang","year":"2013","journal-title":"J Inf Hiding Multimedia Signal Process"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.12720\/jcm.8.11.795-805"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1085126.1085128"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59904-855-0.ch014"},{"key":"ref28","first-page":"35","article-title":"An efficient and secure ID-based remote user authentication scheme using smart card","volume":"1","author":"ahirwal","year":"2012","journal-title":"Int J Appl Inf Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856942"},{"key":"ref27","first-page":"38","article-title":"An improved smart card based remote user authentication scheme with session key agreement during the verification phase","volume":"5","author":"kumar","year":"2011","journal-title":"Applied Mathematics Computer Science J"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.585505"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e90-a.1.299"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/543950"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00292-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.2008.4745088"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISA.2008.62"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/358722.358740"},{"key":"ref9","first-page":"239","article-title":"On establishing and fixing a parallel session attack in a security protocol","volume":"162","author":"dojen","year":"2008","journal-title":"Intell Distrib Comput Syst Appl"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2014.05.010"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/49.223869"},{"article-title":"CDVT\/AD verification tool executable","year":"0","author":"dojen","key":"ref45"},{"key":"ref22","first-page":"44","article-title":"Fail-stop protocols: An approach to designing secure protocols","author":"gong","year":"0","journal-title":"Proc Int Working Conf Dependable Comput Critical Appl"},{"article-title":"Cryptographic protocol flaws","year":"0","author":"carlsen","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2004.1309437"},{"key":"ref24","first-page":"236","article-title":"Robustness principles for public key protocols","author":"anderson","year":"1995","journal-title":"Proc 15th Annu Int Cryptology Conf Advances Cryptology"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2008.4525197"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/32.481513"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25243-3_6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.21236\/ADA462295"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2010.02.001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596787"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/8895602\/07974793.pdf?arnumber=7974793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:03:22Z","timestamp":1657746202000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7974793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,1]]},"references-count":45,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2017.2725831","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":[[2019,11,1]]}}}