{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:39:12Z","timestamp":1774946352876,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540650041","type":"print"},{"value":"9783540497844","type":"electronic"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0055874","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:50:09Z","timestamp":1154033409000},"page":"345-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["A sound logic for analysing electronic commerce protocols"],"prefix":"10.1007","author":[{"given":"Volker","family":"Kessler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Neumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"23_CR1","unstructured":"N. Asokan, E. Van Heereweghen, M. Steiner, Towards A Framework for Handling Disputes in Payment Systems, IBM Research Report RZ 2996 (#93042) 03\/09\/1998, IBM Research Division, Zurich."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, M. Tuttle, \u201cA Semantics for a Logic of Authentication,\u201d Proc. of the ACM Symp. of Principles of Distributed Computing, 1991, 201\u2013216.","DOI":"10.1145\/112600.112618"},{"key":"23_CR3","unstructured":"A. Bleeker, L. Meertens, \u201cA Semantics for BAN-logic,\u201d Proc. of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997."},{"key":"23_CR4","volume-title":"Report 39","author":"M. Burrows","year":"1989","unstructured":"M. Burrows, M. Abadi, R. Needham, A Logic of Authentication, Report 39 Digital Systems Research Center, Pao Alto, California, 1989."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/CSFW.1997.596802","volume-title":"Proc. of the 10th Computer Security Foundations Workshop","author":"D. Bolignano","year":"1997","unstructured":"D. Bolignano, \u201cTowards the Formal Verification of Electronic Commerce Protocols,\u201d Proc. of the 10th Computer Security Foundations Workshop, Rockport, IEEE Computer Society Press 1997, 133\u2013146."},{"key":"23_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"B. Chellas","year":"1980","unstructured":"B. Chellas, Modal Logic, Cambridge University Press, Cambridge, England, 1980."},{"key":"23_CR7","first-page":"5","volume":"22","author":"R.A. DeMillo","year":"1979","unstructured":"R.A. DeMillo, R.J. Lipton, and A.J. Perlis, \u201cSocial Processes and Proofs of Theorems and Programs,\u201d Comm. ACM, vol. 22, no. 5, 1979.","journal-title":"Comm. ACM"},{"key":"23_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, Cambridge, Mass., 1995."},{"key":"23_CR9","unstructured":"A. Huima, T. Aura, \u201cUsing a Multimodal Logic Express Conflicting Interests in Security Protocols,\u201d Proc. of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997."},{"issue":"No.5","key":"23_CR10","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1109\/32.502224","volume":"22","author":"R. Kailar","year":"1996","unstructured":"R. Kailar, \u201cAccountability in Electronic Commerce Protocols,\u201d IEEE Trans. on Software Engineering, Vol. 22, No. 5, 1996, 313\u2013328.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"23_CR11","unstructured":"MasterCard and VISA Corporations, Secure Electronic Transaction (SET), http:\/\/www.mastercard.com\/set and http:\/\/www.visa.com\/"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"C. Meadows, P. Syverson, \u201cA Formal Specification of Requirements for Payment Transactions in the SET Protocol,\u201d Preproceedings of Financial Cryptography, 1998.","DOI":"10.1007\/BFb0055477"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"T. Pedersen, \u201cElectronic Payments of Small Amounts,\u201d Proc. Security Protocols 1996, Springer LNCS 1189, 59\u201368.","DOI":"10.1007\/3-540-62494-5_5"},{"key":"23_CR14","unstructured":"B. Pfitzmann, M. Waidner, Properties of Payment Systems: General Definition Sketch and Classification, IBM Research Report RZ 2823 (#90126) 05\/06\/1996, IBM Research Division, Zurich."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"R. Rivest, A. Shamir, \u201cPayword and Micromint: Two simple micropayment protocols,\u201d Proc. Security Protocols 1996, Springer LNCS 1189, 69\u201388.","DOI":"10.1007\/3-540-62494-5_6"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"S. Stubblebine, R. Wright, \u201cAn Authentication Logic Supporting Synchronization, Revocation, and Receny,\u201d Proc. Third ACM Conference on Computer and Communiations Security, New Delhi, 1996, 95\u2013105.","DOI":"10.1145\/238168.238195"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"P. Syverson, P. van Oorschot, \u201cOn Unifying Some Cryptographic Protocol Logics,\u201d Proc. of the IEEE Computer Society Symp. on Security and Privacy 1994, 14\u201328.","DOI":"10.21236\/ADA465512"},{"key":"23_CR18","volume-title":"Diplomarbeit FB Mathematik","author":"G. Wedel","year":"1995","unstructured":"G. Wedel, Formale Semantik f\u00fcr Authentifikationslogiken, Diplomarbeit FB Mathematik der RWTH Aachen, Nov. 1995."},{"key":"23_CR19","first-page":"219","volume":"1146","author":"G. Wedel","year":"1996","unstructured":"G. Wedel, V. Kessler, \u201cFormal Semantics for Authentication Logics,\u201d Computer Security \u2014 ESORICS 96, Rome, Springer LNCS 1146, 1996, 219\u2013241.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 98"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:49:16Z","timestamp":1736480956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055874"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650041","9783540497844"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0055874","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}