{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T12:39:34Z","timestamp":1705235974885},"reference-count":20,"publisher":"Engineering and Technology Publishing","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCM"],"published-print":{"date-parts":[[2013]]},"DOI":"10.12720\/jcm.8.11.795-805","type":"journal-article","created":{"date-parts":[[2013,11,19]],"date-time":"2013-11-19T06:06:40Z","timestamp":1384841200000},"page":"795-805","source":"Crossref","is-referenced-by-count":9,"title":["Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool"],"prefix":"10.12720","volume":"8","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":"4977","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1085126.1085128"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-642-36252-1_7","article-title":"A Lightweight RFID Mutual Authentication Protocol with Ownership Transfer","volume":"334","author":"Fu","year":"2013","unstructured":"[3] X. Fu and Y. Guo, \"A Lightweight RFID Mutual Authentication Protocol with Ownership Transfer\", Advances in Wireless Sensor Networks Communications, Computer and Information Science, vol. 334, pp. 68-74, 2013.","journal-title":"Advances in Wireless Sensor Networks Communications Computer and Information Science"},{"key":"ref3","first-page":"278","article-title":"Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications","volume":"17","author":"Dojen","year":"2009","unstructured":"[4] R. Dojen, V. Pasca, and T. Coffey, \"Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications\", Security and Privacy in Mobile Information and Communication Systems, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Tele-communications Engineering (LNICST), vol. 17, pp. 278-287, September 2009.","journal-title":"Security and Privacy in Mobile Information and Communication Systems Lecture Notes of the Institute for Computer Sciences Social-Informatics and Tele-communications Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1996.503701"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4048(99)80136-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/30.826377"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2005.01.013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0895-7177(02)00106-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4048(02)00415-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2004.06.111"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"issue":"no. 1","key":"ref12","article-title":"The inductive approach to verifying cryptographic protocols","volume":"6","author":"Paulson","year":"1998","unstructured":"[15] L. Paulson, \"The inductive approach to verifying cryptographic protocols\", Journal of Computer Security, vol. 6, no. 1, 1998.","journal-title":"Journal of Computer Security"},{"issue":"no. 2","key":"ref13","doi-asserted-by":"crossref","DOI":"10.3233\/JCS-2003-11203","article-title":"First-order verification of cryptographic protocols","volume":"11","author":"Cohen","year":"2003","unstructured":"[16] E. Cohen, \"First-order verification of cryptographic protocols\", Journal of Computer Security, vol. 11, no. 2, 2003.","journal-title":"Journal of Computer Security"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19970838"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.012"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","article-title":"Casper: A compiler for the analysis of security protocols","volume":"6","author":"Lowe","year":"1998","unstructured":"[19] G. Lowe, \"Casper: A compiler for the analysis of security protocols\", Journal of Computer Security, vol. 6, pp. 53\u201384, 1998.","journal-title":"Journal of Computer Security"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"ref18","first-page":"235","article-title":"Formalizing GDOI group key management requirements in NPATRL","volume-title":"Proc 8th ACM Conference on Computer and Communications Security","author":"Meadows","year":"2001","unstructured":"[21] C. Meadows, and P. Syverson, \"Formalizing GDOI group key management requirements in NPATRL\", in Proc. 8th ACM Conference on Computer and Communications Security, Nov. 2001, pp. 235-244."},{"key":"ref19","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","article-title":"Athena: a novel approach to efficient automatic security protocol analysis","volume":"9","author":"Song","year":"2001","unstructured":"[22] D. Song, S. Berezin, and A. Perrig, \"Athena: a novel approach to efficient automatic security protocol analysis\", Journal of Computer Security, vol. 9, pp. 47\u201374, 2001.","journal-title":"Journal of Computer Security"},{"key":"ref20","first-page":"185","article-title":"Establishing and Fixing a Freshness Flaw in a Key-Distribution and Authentication Protocol","volume-title":"Proc IEEE International Conference on Intelligent Computer Communication and Processing","author":"Dojen","year":"2008","unstructured":"[25] R. Dojen, I. Lasc, and T. Coffey, \"Establishing and Fixing a Freshness Flaw in a Key-Distribution and Authentication Protocol\", in Proc. IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, 2008, pp. 185-192."}],"container-title":["Journal of Communications"],"original-title":[],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T02:24:42Z","timestamp":1498098282000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jocm.us\/index.php?m=content&c=index&a=show&catid=124&id=604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"references-count":20,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2013]]}},"URL":"https:\/\/doi.org\/10.12720\/jcm.8.11.795-805","relation":{},"ISSN":["1796-2021"],"issn-type":[{"value":"1796-2021","type":"print"}],"subject":[],"published":{"date-parts":[[2013]]}}}