{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T13:23:24Z","timestamp":1773321804872,"version":"3.50.1"},"reference-count":36,"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.403-429","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T08:43:32Z","timestamp":1265618612000},"page":"403-429","source":"Crossref","is-referenced-by-count":31,"title":["LTL model checking for security protocols"],"prefix":"10.1080","volume":"19","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Carbone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Compagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"105","author":"Abadi M.","year":"1998","journal-title":"LICS"},{"key":"CIT0002","volume-title":"Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05)","author":"Armando A."},{"key":"CIT0003","first-page":"1","volume-title":"Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering (FMSE 2008)","author":"Armando A."},{"key":"CIT0004","first-page":"210","volume-title":"Proceedings of 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), LNCS 2529","author":"Armando A."},{"key":"CIT0005","first-page":"730","volume-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), vol. 3229 of LNAI","author":"Armando A."},{"key":"CIT0006","author":"Armando A.","year":"2007","journal-title":"International Journal of Information Security (to appear on)"},{"key":"CIT0007","first-page":"875","volume-title":"Proceedings of the 12th International Symposium of Formal Methods Europe (FME), LNCS 2805","author":"Armando A."},{"key":"CIT0008","first-page":"86","volume-title":"Proceedings of the IEEE Symposium on Research in Security and Privacy","author":"Asokan N."},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46701-7_3"},{"key":"CIT0010","first-page":"549","volume-title":"Proceedings of LPAR'05, LNAI 3835","author":"Basin D."},{"key":"CIT0011","first-page":"193","volume-title":"Proceedings of TACAS'99, LNCS 1579","author":"Biere A."},{"key":"CIT0012","volume-title":"LTL Model-Checking for Security Protocols","author":"Carbone R.","year":"2009"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1145\/1180337.1180340"},{"key":"CIT0014","first-page":"55","volume-title":"Proceedings of the 12th IEEE Computer Security Foundations Workshop: CSFW'99","author":"Cervesato I."},{"key":"CIT0015","first-page":"261","volume-title":"Proceedings of the Logic In Computer Science Conference, LICS'03","author":"Chevalier Y."},{"key":"CIT0016","volume-title":"A Survey of Authentication Protocol Literature: Version 1.0, 17. Nov. 1997","author":"Clark J."},{"key":"CIT0017","first-page":"85","volume-title":"Proceedings of Foundations of Computer Security 2002","author":"Cohen E."},{"key":"CIT0018","first-page":"294","volume-title":"Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA'05)","author":"Comon-Lundh H."},{"key":"CIT0019","author":"Corin R.","year":"2006","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"CIT0020","volume-title":"Proceedings of theWorkshop on Issues in the Theory of Security (WITS '07)","author":"Dilloway C."},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-540-75227-1_6","volume-title":"Formal Aspects in Security and Trust","volume":"4691","author":"Drielsma P. H.","year":"2006"},{"key":"CIT0023","volume-title":"Proceedings of the Eight ESORICS","volume":"3679","author":"Gross T."},{"key":"CIT0024","volume-title":"Proceedings of the IJCAR04 Workshop ARSPA","author":"Hankes Drielsma P."},{"key":"CIT0025","first-page":"363","volume-title":"Proceedings of LPAR'04","volume":"3452","author":"Hankes Drielsma P."},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_10"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.26"},{"key":"CIT0028","first-page":"181","volume-title":"Proceedings of the Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS 2007)","author":"K\u00e4hler D."},{"key":"CIT0029","first-page":"165","volume-title":"5th International Workshop on Formal Aspects in Security and Trust (FAST)","author":"Klay F.","year":"2008"},{"key":"CIT0030","volume-title":"Workshop on Issues in the Theory of Security (WITS'02)","author":"Lowe G.","year":"2002"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1996-4104"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00095-X"},{"key":"CIT0033","first-page":"166","volume-title":"Proceedings of the ACM Conference on Computer and Communications Security CCS'01","author":"Millen J. K."},{"key":"CIT0034","volume-title":"Secure Pseudonymous Channels","author":"M\u00f6dersheim S.","year":"2008"},{"key":"CIT0035","first-page":"206","volume-title":"15th IEEE Computer Security Foundations Workshop","author":"Raskin J."},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00141-4"}],"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":[[2017,6,19]],"date-time":"2017-06-19T00:34:51Z","timestamp":1497832491000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.19.403-429"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":36,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.3166\/jancl.19.403-429"],"URL":"https:\/\/doi.org\/10.3166\/jancl.19.403-429","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}