{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:37:32Z","timestamp":1725493052547},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422549"},{"type":"electronic","value":"9783540457442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45744-5_2","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T17:02:07Z","timestamp":1193418127000},"page":"5-12","source":"Crossref","is-referenced-by-count":3,"title":["SET Cardholder Registration: The Secrecy Proofs"],"prefix":"10.1007","author":[{"given":"Lawrence C.","family":"Paulson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"2_CR1","unstructured":"Credit card fraud rises by 50%. On the Internet at \n                    http:\/\/news.bbc.co.uk\/hi\/english\/business\/newsid_1179000\/1179590.stm\n                    \n                  , February 2001. BBC News (Business)."},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/10722599_10","volume-title":"Computer Security \u2014 ESORICS 2000","author":"G. Bella","year":"2000","unstructured":"Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, and Piero Tramontano. Formal verification of cardholder registration in SET. In F. Cuppens, Y. Deswarte, D. Gollman, and M. Waidner, editors, Computer Security \u2014 ESORICS 2000, LNCS 1895, pages 159\u2013174. Springer, 2000."},{"key":"2_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BFb0055875","volume-title":"Computer Security \u2014 ESORICS 98","author":"G. Bella","year":"1998","unstructured":"Giampaolo Bella and Lawrence C. Paulson. Kerberos version IV: Inductive analysis of the secrecy goals. In J.-J. Quisquater, Y. Deswarte, C. Meadows, and D. Gollmann, editors, Computer Security \u2014 ESORICS 98, LNCS 1485, pages 361\u2013375. Springer, 1998."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Ernie Cohen. TAPS: A first-order verifier for cryptographic protocols. In 13th Computer Security Foundations Workshop, pages 144\u2013158. IEEE Computer Society Press, 2000.","DOI":"10.1109\/CSFW.2000.856933"},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems: second international workshop, TACAS\u2019 96","author":"Lowe. Gavin","year":"1996","unstructured":"Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems: second international workshop, TACAS\u2019 96, LNCS 1055, pages 147\u2013166. Springer, 1996."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","volume":"6","author":"Lowe. Gavin","year":"1998","unstructured":"Gavin Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6:53\u201384, 1998.","journal-title":"Journal of Computer Security"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Catherine Meadows. Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer. In Symposium on Security and Privacy, pages 216\u2013231. IEEE Computer Society, 1999.","DOI":"10.21236\/ADA465466"},{"key":"2_CR8","unstructured":"John C. Mitchell, Vitaly Shmatikov, and Ulrich Stern. Finite-state analysis of SSL 3.0 and related protocols. In Hilarie Orman and Catherine Meadows, editors, Workshop on Design and Formal Verification of Security Protocols. DIMACS, September 1997."},{"key":"2_CR9","unstructured":"Alan Paller. Alert: Large criminal hacker attack on Windows NTE-banking and E-commerce sites. On the Internet at \n                    http:\/\/www.sans.org\/newlook\/alerts\/NTE-bank.htm\n                    \n                  , March 2001."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Lawrence C. Paulson. Relations between secrets: Two formal analyses of the Yahalom protocol. Journal of Computer Security. in press.","DOI":"10.3233\/JCS-2001-9302"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L. C. Paulson","year":"1998","unstructured":"Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85\u2013128, 1998.","journal-title":"Journal of Computer Security"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"L. C. Paulson","year":"1999","unstructured":"Lawrence C. Paulson. Inductive analysis of the Internet protocol TLS. ACM Transactions on Information and System Security, 2(3):332\u2013351, August 1999.","journal-title":"ACM Transactions on Information and System Security"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Lawrence C. Paulson. Proving security protocols correct. In 14th Annual Symposium on Logic in Computer Science, pages 370\u2013381. IEEE Computer Society Press, 1999.","DOI":"10.1109\/LICS.1999.782632"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0020-0190(97)00180-4","volume":"65","author":"P.Y.A. Ryan","year":"1998","unstructured":"Peter Y. A. Ryan and Steve A. Schneider. An attack on a recursive authentication protocol: A cautionary tale. Information Processing Letters, 65(1):7\u201310, January 1998.","journal-title":"Information Processing Letters"},{"key":"2_CR15","unstructured":"SETCo. SET Secure Electronic Transaction Specification: Business Description, May 1997. On the Internet at \n                    http:\/\/www.setco.org\/set_specifications.html\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45744-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T02:56:42Z","timestamp":1551495402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45744-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422549","9783540457442"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45744-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}