{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:10:00Z","timestamp":1737375000879,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425663"},{"type":"electronic","value":"9783540448105"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44810-1_11","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:36:35Z","timestamp":1187253395000},"page":"74-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Making Sense of Specifications: The Formalization of SET"],"prefix":"10.1007","author":[{"given":"Giampaolo","family":"Bella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Massacci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence C.","family":"Paulson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piero","family":"Tramontano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,20]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and R. M. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6\u201315, January 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BFb0055875","volume-title":"Proceedings of the 5th European Symposium on Research in Computer Security","author":"G. Bella","year":"1998","unstructured":"G. Bella and L. C. Paulson. Kerberos version IV: Inductive analysis of the secrecy goals. In Proceedings of the 5th European Symposium on Research in Computer Security, volume 1485 of Lecture Notes in Computer Science, pages 361\u2013375. Springer-Verlag, 1998."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"D. Bolignano. An approach to the formal verification of cryptographic protocols. In Proceedings of the 3th ACM Conference on Communications and Computer Security (CCS-96), pages 106\u2013118, 1996.","DOI":"10.1145\/238168.238196"},{"key":"11_CR4","unstructured":"S. Brackin. Automatic formal analyses of two large commercial protocols. In Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, page 14pp, September 1997."},{"key":"11_CR5","unstructured":"S. Brackin. Automatically detecting authentication limitations in commercial security protocols. In Proceedings of the 22nd National Conference on Information Systems Security, page 18pp, October 1999."},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"M. Burrows, M. Abadi, and R. Needham. A logic for authentication. ACM Transactions on Computer Systems, 8(1):18\u201336, 1990.","journal-title":"ACM Transactions on Computer Systems"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"D. Gollmann. What do we mean by entity authentication? In Proceedings of the 15th IEEE Symposium on Security and Privacy, pages 46\u201354. IEEE Computer Society Press, 1996.","DOI":"10.1109\/SECPRI.1996.502668"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"R. Kailar. Reasoning about accountability in protocols for electronic commerce. In Proceedings of the 14th IEEE Symposium on Security and Privacy, pages 236\u2013250. IEEE Computer Society Press, 1995.","DOI":"10.1109\/SECPRI.1995.398936"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"G. Lowe. A hierarchy of authentication specifications. In Proceedings of the 11th IEEE Computer Security Foundations Workshop, pages 31\u201343. IEEE Computer Society Press, 1997.","DOI":"10.1109\/CSFW.1997.596782"},{"issue":"18-30","key":"11_CR10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","volume":"6","author":"G. Lowe","year":"1998","unstructured":"G. Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6(18-30):53\u201384, 1998.","journal-title":"Journal of Computer Security"},{"key":"11_CR11","unstructured":"Mastercard & VISA. SET Secure Electronic Transaction Specification: Business Description, May 1997. Available electronically at http:\/\/www.setco.org\/set_specifications.html ."},{"key":"11_CR12","unstructured":"Mastercard & VISA. SET Secure Electronic Transaction Specification: Programmer\u2019s Guide, May 1997. Available electronically at http:\/\/www.setco.org\/set_specifications.html ."},{"key":"11_CR13","unstructured":"Mastercard & VISA. SET Secure Electronic Transaction Specification: Protocol De.nition, May 1997. Available electronically at http:\/\/www.setco.org\/set_specifications.html ."},{"key":"11_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0000430","volume-title":"Advances in Cryptology-Asiacrypt 94","author":"C. A. Meadows","year":"1995","unstructured":"C. A. Meadows. Formal verification of cryptographic protocols: A survey. In Advances in Cryptology-Asiacrypt 94, volume 917 of Lecture Notes in Computer Science, pages 133\u2013150. Springer-Verlag, 1995."},{"issue":"12","key":"11_CR15","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R. M. Needham","year":"1978","unstructured":"R. M. Needham and M. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12):993\u2013999, 1978.","journal-title":"Communications of the ACM"},{"key":"11_CR16","unstructured":"D. O\u2019Mahony, M. Peirce, and H. Tewari. Electronic payment systems The Artech House computer science library. Artech House, 1997."},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L. C. Paulson","year":"1998","unstructured":"L. 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":"11_CR18","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"L. C. Paulson","year":"1999","unstructured":"L. C. Paulson. Inductive analysis of the internet protocol TLS. ACM Transactions on Information and System Security, 2(3):332\u2013351, 1999.","journal-title":"ACM Transactions on Information and System Security"},{"key":"11_CR19","unstructured":"RSA Laboratories, RSA Security-Available electronically at http:\/\/www.rsasecurity.com\/rsalabs\/pkcs . 19: Extended-Certificate Syntax Standard, 1993."},{"key":"11_CR20","unstructured":"RSA Laboratories, RSA Security-Available electronically at http:\/\/www.rsasecurity.com\/rsalabs\/pkcs . 20: Cryptographic Message Syntax Standard, 1993."},{"issue":"xxx","key":"11_CR21","first-page":"27","volume":"7","author":"P. Syverson","year":"1996","unstructured":"P. Syverson and C. Meadows. A formal language for cryptographic protocol requirement. Designs, Codes and Cryptography, 7(xxx):27\u201359, 1996.","journal-title":"Designs, Codes and Cryptography"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"P. F. Syverson and P. C. van Oorschot. On unifying some cryptographic protocols logics. In Proceedings of the 13th IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 1994.","DOI":"10.21236\/ADA465512"}],"container-title":["Lecture Notes in Computer Science","Security Protocols"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44810-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:31:41Z","timestamp":1737372701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44810-1_11"}},"subtitle":["Extended Abstract"],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425663","9783540448105"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44810-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"20 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}