{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:47:12Z","timestamp":1743025632988,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428800"},{"type":"electronic","value":"9783540456001"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45600-7_18","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T12:21:49Z","timestamp":1186834909000},"page":"155-166","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Applying NCP Logic to the Analysis of SSL 3.0"],"prefix":"10.1007","author":[{"given":"Zhimin","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihan","family":"Qing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,24]]},"reference":[{"key":"18_CR1","unstructured":"A. Frier, P. Karlton, P. Kocher: The SSL Protocol Version 3.0. Netscape Communications Corp. March 1996. Internet Draft, work in progress."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"T. Dierks, C. Allen. RFC2246: The TLS Protocol Version 1.0. January 1999.","DOI":"10.17487\/rfc2246"},{"key":"18_CR3","unstructured":"Aviel David Rubin: Nonmonotonic Cryptographic Protocols. PhD thesis, University of Michigan, Ann Arbor. 1994."},{"key":"18_CR4","unstructured":"Sven Dietrich: A Formal Analysis of the Secure Sockets Layer Protocol. PhD thesis, Adelphi University. 1997."},{"key":"18_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055716","volume-title":"Advances in Cryptology-Crypto\u201998","author":"D. Bleichenbacher","year":"1998","unstructured":"Daniel Bleichenbacher: Chosen Ciphertext Attacks Against Protocols Based on the RSA Encryption Standard PKCS#1. Advances in Cryptology-Crypto\u201998, LNCS vol. 1462, pages 1\u201312, Springer-Verlag, 1998."},{"issue":"12","key":"18_CR6","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R. M. Needham","year":"1978","unstructured":"Roger M. Needham, M. D. Schroeder: Using Encryption for Authentication in Large Networks. Communication of the ACM, 21(12):993\u2013999, December 1978.","journal-title":"Communication of the ACM"},{"issue":"8","key":"18_CR7","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"D. E. Denning","year":"1981","unstructured":"Dorothy E. Denning, Giovanni Maria Sacco: Timestamps in Key Distribution Protocols. Communication of the ACM, 24(8):533\u2013536, August 1981.","journal-title":"Communication of the ACM"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45600-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T02:06:44Z","timestamp":1676686004000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45600-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428800","9783540456001"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45600-7_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"24 October 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}