{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:08Z","timestamp":1725465908412},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601760"},{"type":"electronic","value":"9783540447177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0053447","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:05:50Z","timestamp":1149638750000},"page":"320-331","source":"Crossref","is-referenced-by-count":8,"title":["Formal requirements for key distribution protocols"],"prefix":"10.1007","author":[{"given":"Paul","family":"Syverson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Meadows","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"29_CR1","volume-title":"volume 576 of Lecture Notes in Computer Science","author":"R. Bird","year":"1992","unstructured":"Ray Bird, Inder Gopal, Amir Herzberg, Phil Janson, Shay Kutten, Refik Molva, and Moti Yung. Systematic Design of Two-Party Authentication Protocols. In Joan Feigenbaum, editor, Advances in Cryptology \u2014 CRYPTO '91, volume 576 of Lecture Notes in Computer Science. Springer Verlag, Berlin, 1992."},{"key":"29_CR2","first-page":"64","volume-title":"Using Logics to Detect Implementation-Dependent Flaws","author":"U. Carlsen","year":"1993","unstructured":"Ulf Carlsen. Using Logics to Detect Implementation-Dependent Flaws. In Proceedings of the Ninth Annual Computer Security Applications Conference, pages 64\u201373. IEEE Computer Society Press, Los Alamitos, California, December 1993."},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"Whitfield Diffie, Paul C. van Oorschot, and Michael J. Wiener. Authentication and Authenticated Key Exchanges. Designs, Codes, and Cryptography, 2:107\u2013125, 1992.","journal-title":"Designs, Codes, and Cryptography"},{"issue":"2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"D. Dolev and A. Yao. On the Security of Public Key Protocols. IEEE Transactions on Information Theory, 29(2):198\u2013208, March 1983.","journal-title":"IEEE Transactions on Information Theory"},{"issue":"4","key":"29_CR5","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/142854.142872","volume":"26","author":"Kenne","year":"1992","unstructured":"Kenne, Sch\u00f6nw\u00e4lder, and Langend\u00f6rfer. A Nonce-Based Protocol for Multiple Authentications. Operating Systems Review, 26(4):84\u201389, October 1992.","journal-title":"Operating Systems Review"},{"issue":"2","key":"29_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00197942","volume":"7","author":"R. Kemmerer","year":"1994","unstructured":"Richard Kemmerer, Catherine Meadows, and Jonathan Millen. Three Systems for Cryptographic Protocol Analysis. Journal of Cryptology, 7(2):79\u2013130, 1994.","journal-title":"Journal of Cryptology"},{"key":"29_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1992-1102","volume":"1","author":"C. Meadows","year":"1992","unstructured":"C. Meadows. Applying Formal Methods to the Analysis of a Key Management Protocol. Journal of Computer Security, 1:5\u201353, 1992.","journal-title":"Journal of Computer Security"},{"issue":"2","key":"29_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/155848.155852","volume":"27","author":"B. C. Neuman","year":"1993","unstructured":"B. Clifford Neuman and Stuart G. Stubblebine. A Note on the Use of Timestamps as Nonces. Operating Systems Review, 27(2):10\u201314, April 1993.","journal-title":"Operating Systems Review"},{"key":"29_CR9","volume-title":"Roles in Cryptographic Protocols","author":"E. Snekkenes","year":"1992","unstructured":"Einar Snekkenes. Roles in Cryptographic Protocols. In Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy. IEEE Computer Society Press, Los Alamitos, California, 1992."},{"key":"29_CR10","doi-asserted-by":"crossref","first-page":"165","DOI":"10.21236\/ADA463014","volume-title":"A Logical Language for Specifying Cryptographic Protocol Requirements","author":"P. Syverson","year":"1993","unstructured":"Paul Syverson and Catherine Meadows. A Logical Language for Specifying Cryptographic Protocol Requirements. In Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pages 165\u2013177. IEEE Computer Society Press, Los Alamitos, California, 1993."},{"key":"29_CR11","first-page":"97","volume-title":"Adding Time to a Logic of Authentication","author":"P. F. Syverson","year":"1993","unstructured":"Paul F. Syverson. Adding Time to a Logic of Authentication. In Proceedings of the First ACM Conference on Computer and Communications Security, pages 97\u2013101. ACM Press, New York, November 1993."},{"issue":"4","key":"29_CR12","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/163640.163642","volume":"27","author":"P. F. Syverson","year":"1993","unstructured":"Paul F. Syverson. On Key Distribution Protocols for Repeated Authentication. Operating Systems Review, 27(4):24\u201330, October 1993.","journal-title":"Operating Systems Review"}],"container-title":["Lecture Notes in Computer Science","Advances in Cryptology \u2014 EUROCRYPT'94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T12:05:15Z","timestamp":1539000315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601760","9783540447177"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0053447","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}