{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T14:49:57Z","timestamp":1758811797189,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319079400"},{"type":"electronic","value":"9783319079417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07941-7_13","type":"book-chapter","created":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T04:42:07Z","timestamp":1400820127000},"page":"128-137","source":"Crossref","is-referenced-by-count":10,"title":["On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool"],"prefix":"10.1007","author":[{"given":"Anca D.","family":"Jurcut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Coffey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"Dojen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1016\/S1389-1286(03)00292-5","volume":"43","author":"T. Coffey","year":"2003","unstructured":"Coffey, T., Dojen, R., Flanagan, T.: Formal verification: An imperative step in the\u00a0design of security protocols. Computer Networks\u00a043(5), 601\u2013618 (2003)","journal-title":"Computer Networks"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/ietfec\/e90-a.1.299","volume":"E90-A","author":"J. Nam","year":"2007","unstructured":"Nam, J., Kim, S., Park, S., Won, D.: Security Analysis of a Nonce-Based User Authentication Scheme Using Smart Cards. IEICE Transactions Fundamentals\u00a0E90-A(1), 299\u2013302 (2007)","journal-title":"IEICE Transactions Fundamentals"},{"key":"13_CR3","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-36252-1_7","volume-title":"Advances in Wireless Sensor Networks","author":"X. Fu","year":"2013","unstructured":"Fu, X., Guo, Y.: A Lightweight RFID Mutual Authentication Protocol with Ownership Transfer. In: Wang, R., Xiao, F. (eds.) CWSN 2012. CCIS, vol.\u00a0334, pp. 68\u201374. Springer, Heidelberg (2013)"},{"key":"13_CR4","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-04434-2_24","volume-title":"Security and Privacy in Mobile Information and Communication Systems","author":"R. Dojen","year":"2009","unstructured":"Dojen, R., Pasca, V., Coffey, T.: Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications. In: Schmidt, A.U., Lian, S. (eds.) MobiSec 2009. LNICST, vol.\u00a017, pp. 278\u2013287. Springer, Heidelberg (2009)"},{"key":"13_CR5","series-title":"SCI","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-85257-5_24","volume-title":"Intelligent Distributed Computing, Systems and Applications","author":"R. Dojen","year":"2008","unstructured":"Dojen, R., Jurcut, A., Coffey, T., Gy\u00f6r\u00f6di, C.: On Establishing and Fixing a Parallel Session Attack in a Security Protocol. In: Badica, C., Mangioni, G., Carchiolo, V., Burdescu, D.D. (eds.) Intelligent Distributed Computing, Systems and Applications. SCI, vol.\u00a0162, pp. 239\u2013244. Springer, Heidelberg (2008)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Some new attacks upon security protocols. In: Proc. 9th IEEE Computer Security. Foundations Workshop, pp. 162\u2013169 (1996)","DOI":"10.1109\/CSFW.1996.503701"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/j.comcom.2008.11.019","volume":"32","author":"H.C. Hsiang","year":"2009","unstructured":"Hsiang, H.C., Shih, W.K.: Weaknesses and improvements of the Yoon-Ryu-Yoo remote user authentication scheme using smart cards. Computer Communications\u00a032, 649\u2013652 (2009)","journal-title":"Computer Communications"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.inffus.2012.12.002","volume":"14","author":"D. Wang","year":"2013","unstructured":"Wang, D., Ma, C.: Cryptanalysis of a remote user authentication scheme for mobile client-server environment based on ECC. Information Fusion\u00a014, 498\u2013503 (2013)","journal-title":"Information Fusion"},{"issue":"11","key":"13_CR9","doi-asserted-by":"publisher","first-page":"795","DOI":"10.12720\/jcm.8.11.795-805","volume":"8","author":"A. Jurcut","year":"2013","unstructured":"Jurcut, A., Coffey, T., Dojen, R.: Establishing and Fixing Security Protocols Weaknesses using a Logic-based Verification Tool. Journal of Communication\u00a08(11), 795\u2013806 (2013)","journal-title":"Journal of Communication"},{"key":"13_CR10","unstructured":"Coffey, T., Dojen, R., Jurcut, A.: CDVT\/AD Verification Tool 2014 Executable, www.dcsl.ul.ie\/cdvt-ad-tool"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems TOCS\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems TOCS"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/65000.65002","volume":"7","author":"M. Satyanarayanan","year":"1989","unstructured":"Satyanarayanan, M.: Integrating security in a large distributed system. ACM Transactions on Computer Systems\u00a07(3), 247\u2013280 (1989)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"8","key":"13_CR13","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"D. Denning","year":"1981","unstructured":"Denning, D., Sacco, G.: Timestamps in key distributed protocols. Communication of the ACM\u00a024(8), 533\u2013535 (1981)","journal-title":"Communication of the ACM"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0020-0190(95)00136-Z","volume":"56","author":"J. Clark","year":"1995","unstructured":"Clark, J., Jacob, J.: On the security of recent protocols. Information Processing Letters\u00a056, 151\u2013155 (1995)","journal-title":"Information Processing Letters"},{"issue":"3","key":"13_CR15","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/206826.206832","volume":"29","author":"I. Kao","year":"1995","unstructured":"Kao, I., Chow, R.: An efficient and secure authentication protocol using uncertified keys. Operating Systems Review\u00a029(3), 14\u201321 (1995)","journal-title":"Operating Systems Review"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Dojen, R., Lasc, I., Coffey, T.: Establishing and Fixing a Freshness Flaw in a Key-Distribution and Authentication Protocol. In: IEEE International Conference on Intelligent Computer Communication and Processing, pp. 185\u2013192 (2008)","DOI":"10.1109\/ICCP.2008.4648371"},{"issue":"10","key":"13_CR17","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/32.637148","volume":"23","author":"G. Lowe","year":"1997","unstructured":"Lowe, G., Roscoe, A.W.: Using CSP to detect errors in the TMN protocol. Software Engineering\u00a023(10), 659\u2013669 (1997)","journal-title":"Software Engineering"},{"key":"13_CR18","first-page":"185","volume-title":"Proceedings of 3th International Symposium on Wireless Communication System (ISWCS)","author":"S. Xu","year":"2006","unstructured":"Xu, S., Huang, C.: Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions. In: Proceedings of 3th International Symposium on Wireless Communication System (ISWCS), pp. 185\u2013189. IEEE Press, Spain (2006)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Dojen, R., Zhang, F., Coffey, T.: On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks. In: International Performance Computing and Communications Conference, Texas, USA, pp. 499\u2013506 (2008)","DOI":"10.1109\/PCCC.2008.4745088"}],"container-title":["Communications in Computer and Information Science","Computer Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07941-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:55:46Z","timestamp":1746233746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07941-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319079400","9783319079417"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07941-7_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}