{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:55Z","timestamp":1720624975252},"reference-count":6,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(04)80067-7","type":"journal-article","created":{"date-parts":[[2004,12,13]],"date-time":"2004-12-13T17:55:14Z","timestamp":1102960514000},"page":"76-79","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["The MFPS XV Security Session"],"prefix":"10.1016","volume":"20","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Volpano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80067-7_NEWBIB1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","article-title":"A logic of authentication","volume":"8","author":"Burrows","year":"1990","journal-title":"ACM Transactions on Computer Systems"},{"key":"10.1016\/S1571-0661(04)80067-7_NEWBIB2","unstructured":"F. Javior Thayer Fabr\u00e9ga, Jonathan C. Herzog, and Joshua D. Guttman, Strand spaces: Why is a security protocol correct? In: Proceedings of the 1998 IEEE Symposium on Security and Privacy IEEE Computer Society Press, May 1998, pp. 160\u2013171."},{"key":"10.1016\/S1571-0661(04)80067-7_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Myong H. Kang and Ira S. Moskowitz, A network pump, IEEE Transactions on Software Engineering 22 (1996).","DOI":"10.1109\/32.502225"},{"key":"10.1016\/S1571-0661(04)80067-7_NEWBIB4","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/362375.362389","article-title":"A note on the confinement problem","volume":"16","author":"Lampson","year":"1973","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(04)80067-7_NEWBIB5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, parts I and II","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80067-7_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Paul F. Syverson and Paul C. van Oorschot, On unifying some cryptographic protocol logics, In: Proceedings of the 1994 Symposium on Security and Privacy, IEEE Computer Society Press, may 1994.","DOI":"10.1109\/RISP.1994.296595"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800677?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800677?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T20:20:03Z","timestamp":1548966003000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104800677"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":6,"alternative-id":["S1571066104800677"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80067-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}