{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:16:20Z","timestamp":1784996180665,"version":"3.55.0"},"reference-count":17,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1996,2,1]],"date-time":"1996-02-01T00:00:00Z","timestamp":823132800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":6378,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1996,2]]},"DOI":"10.1016\/0743-1066(95)00095-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T09:36:07Z","timestamp":1027589767000},"page":"113-131","source":"Crossref","is-referenced-by-count":254,"title":["The NRL Protocol Analyzer: An Overview"],"prefix":"10.1016","volume":"26","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0743-1066(95)00095-X_BIB1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/98.295357","article-title":"Privacy and Authentication for Wireless Local Area Networks","volume":"1","author":"Aziz","year":"1994","journal-title":"IEEE Personal Commun."},{"key":"10.1016\/0743-1066(95)00095-X_BIB2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0167-4048(90)90159-Q","article-title":"A Security Scheme for Resource Shoring Over a Network","volume":"9","author":"Burns","year":"1990","journal-title":"Computers and Security"},{"issue":"1","key":"10.1016\/0743-1066(95)00095-X_BIB3","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 Trans. Computer Syst."},{"issue":"8","key":"10.1016\/0743-1066(95)00095-X_BIB4","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1145\/358722.358740","article-title":"Timestamps in Key Distribution Protocols","volume":"24","author":"Denning","year":"1981","journal-title":"Commun. ACM"},{"key":"10.1016\/0743-1066(95)00095-X_BIB5","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","article-title":"New Directions in Cryptography","author":"Diffie","year":"1976","journal-title":"IEEE Trans. Inform. Theory IT-22"},{"key":"10.1016\/0743-1066(95)00095-X_BIB6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF00124891","article-title":"Authentication and Authenticated Key Exchanges","volume":"2","author":"Diffie","year":"1992","journal-title":"Designs, Codes, and Cryptography"},{"key":"10.1016\/0743-1066(95)00095-X_BIB7","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0019-9958(82)90401-6","article-title":"On the Security of Ping-Pong Protocols","volume":"55","author":"Dolev","year":"1982","journal-title":"Inform. Control"},{"issue":"2","key":"10.1016\/0743-1066(95)00095-X_BIB8","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","article-title":"On the Security of Public Key Protocols","volume":"29","author":"Dolev","year":"1983","journal-title":"IEEE Trans. Inform. Theory"},{"issue":"2","key":"10.1016\/0743-1066(95)00095-X_BIB9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF00197942","article-title":"Three Systems for Cryptographic Protocol Analysis","volume":"7","author":"Kemmerer","year":"1994","journal-title":"J. Cryptology"},{"key":"10.1016\/0743-1066(95)00095-X_BIB10","series-title":"Proceedings of the 1991 IEEE Computer Society Symposium on Research in Security and Privacy","first-page":"182","article-title":"A System for the Specification and Analysis of Key Management Protocols","author":"Meadows","year":"1991"},{"key":"10.1016\/0743-1066(95)00095-X_BIB11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1992-1102","article-title":"Applying Formal Methods to the Analysis of a Key Management Protocol","volume":"1","author":"Meadows","year":"1992","journal-title":"J. Computer Security"},{"key":"10.1016\/0743-1066(95)00095-X_BIB12","doi-asserted-by":"crossref","unstructured":"Meadows, C., Formal Verification of Cryptographic Protocols: A Survey, in: Proceedings of AsiaCrypt '94, to Springer-Verlag, Berlin, pp. 133\u2013150.","DOI":"10.21236\/ADA464292"},{"key":"10.1016\/0743-1066(95)00095-X_BIB13","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/155848.155852","article-title":"A Note on the Use of Timestamps as Nonces","volume":"27","author":"Neuman","year":"1993","journal-title":"Operating Syst. Rev."},{"key":"10.1016\/0743-1066(95)00095-X_BIB14","series-title":"Proceedings of the 1985 IEEE Computer Society Symposium on Security and Privacy","first-page":"108","article-title":"How to (Selectively) Broadcast a Secret","author":"Simmons","year":"1985"},{"key":"10.1016\/0743-1066(95)00095-X_BIB15","series-title":"Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy","first-page":"165","article-title":"A Logical Language for Specifying Cryptographic Protocol Requirements","author":"Syverson","year":"1993"},{"key":"10.1016\/0743-1066(95)00095-X_BIB16","series-title":"Proceedings of Eurocrypt 94","article-title":"Formal Requirements for Key Distribution Protocols","author":"Syverson","year":"1994"},{"key":"10.1016\/0743-1066(95)00095-X_BIB17","doi-asserted-by":"crossref","unstructured":"Syverson, P. and Meadows, C., A Formal Language for Cryptographic Protocol Requirements, Designs, Codes, and Cryptography, to appear.","DOI":"10.1007\/BF00125075"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669500095X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669500095X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T04:21:01Z","timestamp":1556511661000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074310669500095X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,2]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,2]]}},"alternative-id":["074310669500095X"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(95)00095-x","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1996,2]]}}}