{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T23:10:12Z","timestamp":1784848212003,"version":"3.55.0"},"reference-count":43,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.3166\/jancl.19.463-487","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T13:43:32Z","timestamp":1265636612000},"page":"463-487","source":"Crossref","is-referenced-by-count":15,"title":["Automatic verification of temporal-epistemic properties of cryptographic protocols"],"prefix":"10.1080","volume":"19","author":[{"given":"Ioana","family":"Boureanu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mika","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"201","volume-title":"Proceedings of the 10th annual ACM symposium on Principles of distributed computing (PODC'91)","author":"Abadi M."},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05)","volume":"3576","author":"Armando A."},{"key":"CIT0003","volume-title":"AVISS \u2013 Deliverable D.6.1: List of selected problems","author":"AVISPA-project","year":"2005"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301317"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/3-540-48224-5_55","volume-title":"Proceedings of the 28th International Colloquium of Automata, Languages and Programming (ICALP'01)","volume":"2076","author":"Boreale M."},{"key":"CIT0007","volume-title":"Protocol Descriptions to Interpreted Systems, version 0.90","author":"Boureanu I.","year":"2009"},{"key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1145\/77648.77649","volume-title":"A Logic of Authentication","author":"Burrows M.","year":"1990"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/BF00206326"},{"key":"CIT0010","volume-title":"A Survey of Authentication Protocol Literature","author":"Clark J.","year":"1997"},{"key":"CIT0011","volume-title":"Clark-Jacobs library in CAPSL","author":"Clark J.","year":"1999"},{"key":"CIT0012","volume-title":"Model Checking","author":"Clarke E.","year":"1999"},{"key":"CIT0013","first-page":"77","volume-title":"Proceedings of the 22nd Symposium on Logic in Computer Science (LICS'07)","author":"Cohen M."},{"key":"CIT0014","first-page":"155","volume-title":"Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P'06)","author":"Corin R."},{"key":"CIT0015","first-page":"207","volume-title":"Proceedings of DARPA Information Survivability Conference (DISCEX'00)","author":"Denker G."},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"CIT0017","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-540-40981-6_11","volume-title":"Proceedings of the Workshop on Formal Aspects of Security (FASec'02)","volume":"2629","author":"Halpern J."},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2003-11405"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2003-11204"},{"issue":"1","key":"CIT0021","first-page":"215","volume":"72","author":"Kacprzak M.","year":"2006","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"CIT0022","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FUN-2008-851-422","volume":"85","author":"Kacprzak M.","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1145\/142854.142872"},{"key":"CIT0024","volume-title":"SPORE: Security Protocols Open Repository","author":"Laboratoire Sp\u00e9cification et V\u00e9rification ENS Cachan","year":"2003"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"359","DOI":"10.3233\/FUN-2008-851-425","volume":"85","author":"Lomuscio A.","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"CIT0026","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Proceedings of the 21st International Conference on Computer Aided Verification (CAV'09)","volume":"5643","author":"Lomuscio A."},{"issue":"3","key":"CIT0027","first-page":"473","volume":"79","author":"Lomuscio A.","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"CIT0028","first-page":"162","volume-title":"Proceedings of the 9th IEEE workshop on Computer Security Foundations (CSFW'96)","author":"Lowe G."},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1998-61-204"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00095-X"},{"key":"CIT0031","first-page":"479","volume-title":"Proceedings of 16th International Conference on Computer Aided Verification (CAV'04)","volume":"3114","author":"Meyden R."},{"key":"CIT0032","first-page":"280","volume-title":"Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW'04)","author":"Meyden R."},{"key":"CIT0033","volume-title":"Common Authentification Protocol Specification Language","author":"Millen J.","year":"2001"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"CIT0035","volume-title":"Proceedings of International Summer School On Applied Semantics (APPSEM'05)","author":"v. Oheimb D."},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15648-8_21"},{"key":"CIT0037","first-page":"370","volume-title":"Proceeding of the IEEE Symposium on Logic in Computer Science (LICS'99)","volume":"1999","author":"Paulson L."},{"key":"CIT0038","first-page":"282","volume-title":"Proceedings of the 15th Computer Security Foundations Workshop (CSFW'02)","author":"Pucella R."},{"key":"CIT0039","first-page":"11","volume-title":"Proceedings of theWorkshop on Issues in the Theory of Security (WITS'03)","author":"Ramanujam R."},{"key":"CIT0040","volume-title":"Undecidability of secrecy for security protocols","author":"Ramanujam R.","year":"2003"},{"key":"CIT0041","first-page":"174","volume-title":"Proceedings of the 14th IEEE Workshop on Computer Security Foundations (CSFW'01)","author":"Rusinowitch M."},{"key":"CIT0042","first-page":"63","volume-title":"Proceedings of the International School on Foundations of Security Analysis and Design (FOSAD'00)","volume":"2170","author":"Syverson P."},{"key":"CIT0043","first-page":"814","volume-title":"Proceedings of the Wold Congress on Formal Methods (FM'99) in the Development of Computing Systems","author":"Syverson P."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T02:04:32Z","timestamp":1739844272000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.19.463-487"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":43,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.3166\/jancl.19.463-487"],"URL":"https:\/\/doi.org\/10.3166\/jancl.19.463-487","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}