{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:17Z","timestamp":1725664937668},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602750"},{"type":"electronic","value":"9783540447849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60275-5_73","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:06:24Z","timestamp":1330279584000},"page":"308-323","source":"Crossref","is-referenced-by-count":3,"title":["A mechanized logic for secure key escrow protocol verification"],"prefix":"10.1007","author":[{"given":"Tom","family":"Schubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarah","family":"Mocas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and M. Tuttle. A semantics for a logic of authentication. In Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, pages 201\u2013216. ACM Press, 1991.","DOI":"10.1145\/112600.112618"},{"key":"21_CR2","unstructured":"Matt Blaze. Protocol failure in the escrow encryption standard. In Lance J. Hoffman, editor, Building in Big Brother. Springer-Verlag, 1995."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1), Feb. 1990.","DOI":"10.1145\/77648.77649"},{"key":"21_CR4","unstructured":"Juanito Camilleri and Tom Melham. Reasoning with inductively defined relations in the HOL theorem prover. Technical Report 265, University of Cambridge Computer Laboratory, 1992."},{"key":"21_CR5","unstructured":"D. Denning. The U.S. key escrow encrytion technology. Computer Communications, to appear."},{"key":"21_CR6","unstructured":"Dorothy Denning. Cryptography and Data Security. Addision-Wesley, 1982."},{"key":"21_CR7","unstructured":"National Institute for Standards and Technology. Escrow encrytion standard. Federal Information Processing Standards Pubulication 185, 1994."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"L. Gong, R. Needham, and R. Yahalom. Reasoning about belief in cryptographic protocols. In Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy. IEEE Computer Society Press, 1990.","DOI":"10.1109\/RISP.1990.63854"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Tom Melham. Automating recursive type definitions in higher order logic. In G. Birtwhistle and P.A Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 341\u2013386. Springer-Verlag, 1989.","DOI":"10.1007\/978-1-4612-3658-0_9"},{"key":"21_CR10","unstructured":"Bruce Schneier. Applied Cryptography. John Wiley & Sons, Inc, 1994."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"E. Thomas Schubert. A hybrid model for reasoning about composed hardware systems. Conference on Computer-Aided Verification, June 1994.","DOI":"10.1007\/3-540-58179-0_60"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Gustavus J. Simmons. Cryptanalysis and protocol failures. Communications of the ACM, 37(11), November 1994.","DOI":"10.1145\/188280.188298"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Paul F. Syverson and Paul C. van Oorschot. On unifying some cryptographic protocol logics. In Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, May 1994.","DOI":"10.21236\/ADA465512"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"P. vanOorschot. Extending cryptographic logics of cryptographic logics of belief to key agreement protocols. In Proceedings of the First ACM Conference on Computers and Communications Security, pages 232\u2013243, 1993.","DOI":"10.1145\/168588.168617"}],"container-title":["Lecture Notes in Computer Science","Higher Order Logic Theorem Proving and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60275-5_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:20Z","timestamp":1605646640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60275-5_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602750","9783540447849"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-60275-5_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}