{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T14:40:17Z","timestamp":1741185617694,"version":"3.38.0"},"publisher-location":"Boston, MA","reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461355687"},{"type":"electronic","value":"9781461514671"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4615-1467-1_7","type":"book-chapter","created":{"date-parts":[[2011,5,11]],"date-time":"2011-05-11T06:12:51Z","timestamp":1305094371000},"page":"113-131","source":"Crossref","is-referenced-by-count":0,"title":["A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce"],"prefix":"10.1007","author":[{"given":"Hongxue","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Varadharajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_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, pp.201\u2013216, 1991.","DOI":"10.1145\/112600.112618"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/CSFW.1990.128181","volume-title":"Proceedings of the Computer Security Foundation Workshop III","author":"P Bieber","year":"1990","unstructured":"P. Bieber, A logic of communication in a Hostile Environment. In Proceedings of the Computer Security Foundation Workshop III, pp.14\u201322, IEEE Computer Society Press, June 1990."},{"key":"7_CR3","first-page":"133","volume-title":"Towards the formal verification of electronic commerce protocols, Proc. of the tenth computer security foundations workshop","author":"D Bolignano","year":"1997","unstructured":"D. Bolignano, Towards the formal verification of electronic commerce protocols, Proc. of the tenth computer security foundations workshop, pp133\u2013146, Rockport, IEEE Computer Society Press, 1997."},{"key":"7_CR4","volume-title":"A logic of authenti-cation. Research Report 39, Digital Systems Research Centre","author":"M Burrows","year":"1989","unstructured":"M. Burrows, M. Abadi, and R. Needham, A logic of authenti-cation. Research Report 39, Digital Systems Research Centre, 1989."},{"key":"7_CR5","volume-title":"Modal Logic\u2014an introduction, pp.26, Cambridge University Press","author":"BF Chellas","year":"1995","unstructured":"B. F. Chellas, Modal Logic\u2014an introduction, pp.26, Cambridge University Press, 1995."},{"key":"7_CR6","volume-title":"Symbolic Logic and Mathematical Theorem Proving, Academic Press","author":"Chin-Liang Chang","year":"1973","unstructured":"Chin-Liang Chang and Richard Char-Tung Lee, Symbolic Logic and Mathematical Theorem Proving, Academic Press, 1973."},{"issue":"8","key":"7_CR7","first-page":"533","volume":"24","author":"DE Denning","year":"1981","unstructured":"D.E. Denning and G.M. Sacco. Timestamps in Key distribution protocols. CA CM, vol. 24, No. 8, pp.533\u2013536, August 1981.","journal-title":"CA CM"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"76","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1995","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, pp.76\u201380, The MIT Press, 1995."},{"key":"7_CR9","volume-title":"Cryptographic Protocols for Distributed Systems, Ph.D. dissertation","author":"L Gong","year":"1990","unstructured":"L. Gong, Cryptographic Protocols for Distributed Systems, Ph.D. dissertation, University of Cambridge, April, 1990."},{"key":"7_CR10","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, pp.234\u2013248, 1990.IBM Zurich Research, iKP \u2014 a family of secure electronic payment protocols. http:\/\/www.zurich.ibm.com\/Technology\/Security\/extern\/ecommerce\/ .","DOI":"10.1109\/RISP.1990.63854"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"R. Kailar, Reasoning about accountability in protocols for electronic commerce, in Proceedings of IEEE Symposium on Security and Privacy, pp.236\u2013250, IEEE Computer Society Press, 1995.","DOI":"10.1109\/SECPRI.1995.398936"},{"key":"7_CR12","first-page":"345","volume-title":"A sound logic for analyzing electronic commerce protocols Fifth European Symposium on Research in Computer Security: ESORICS 98 Springer LNCS 1485, 1998","author":"V Kessler","year":"1998","unstructured":"V. Kessler and H. Neumann, A sound logic for analyzing electronic commerce protocols, Fifth European Symposium on Research in Computer Security: ESORICS 98 (Springer LNCS 1485, 1998), pp345\u2013360, Springer 1998."},{"key":"7_CR13","volume-title":"The Internet Billing Server Transaction Protocol Alternatives Technical Report INI TR 1994-1, Carnegie Mellon Unive","author":"Kevin O\u2019Toole","year":"1994","unstructured":"Kevin O\u2019Toole, The Internet Billing Server Transaction Protocol Alternatives, Technical Report INI TR 1994\u20131, Carnegie Mellon University1994. http:\/\/www.ftp.ini.cmu.edu\/billing_server\/Transaction_Protocol \/billing_server\/Transaction_Protocol"},{"key":"7_CR14","volume-title":"Time-lock puzzles and timed-release crypto","author":"RL Rivest","year":"1996","unstructured":"R. L. Rivest, A. Shamir, and D. A. Wagner, Time-lock puzzles and timed-release crypto, Technical Report, MIT Laboratory for Computer Science, 1996."},{"key":"7_CR15","volume-title":"Formal Semantics for Logics of Cryptographic Protocols, Proceedings of the Computer Security Foundations Workshop III, Franconia","author":"P Syverson","year":"1990","unstructured":"P. Syverson, Formal Semantics for Logics of Cryptographic Protocols, Proceedings of the Computer Security Foundations Workshop III, Franconia, NH June 1990. IEEE CS Press, Los Alamitos CA, 1990."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"P. Syverson and P.C. Van Oorschot, On unifying some cryptographic protocol logics, In Proceedings of the Computer Security Foundations Workshop VII(CSFW\u201994), (IEEE), pp.14\u201328, 1994.","DOI":"10.21236\/ADA465512"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"P.C. Van Oorschot. Extending Cryptographic Logics of Belief to Key Agreement Protocols (Extended Abstract). In proceedings of the first ACM conference on Computer and Communication Security, pages 232\u2013234, November 1993.","DOI":"10.1145\/168588.168617"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/CSAC.1996.569674","volume-title":"On the design of secure electronic payment schemes for Internet, in Proceedings of Twelfth Annual Computer Security Applications Conference","author":"V Varadharajan","year":"1996","unstructured":"V. Varadharajan and Y. Mu, On the design of secure electronic payment schemes for Internet, in Proceedings of Twelfth Annual Computer Security Applications Conference, pp.78\u201387. IEEE Computer Society Press, 1996."},{"key":"7_CR19","volume-title":"Towards a generic logic for the analysis of cryptographic protocols, to appear in Proceedings of the 20th International Conference on Distributed Computing Systems","author":"V Varadharajan","year":"2000","unstructured":"V. Varadharajan, H. Wang and Y. Zhang, Towards a generic logic for the analysis of cryptographic protocols, to appear in Proceedings of the 20th International Conference on Distributed Computing Systems, IEEE Computer Society, April 2000."},{"key":"7_CR20","unstructured":"V. Varadharajan, H. Wang and Y. Zhang, a generic logic for the analysis of cryptographic protocols, manuscript, 2000."}],"container-title":["Advances in Information Security","E-Commerce Security and Privacy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4615-1467-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T13:44:57Z","timestamp":1741182297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4615-1467-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781461355687","9781461514671"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4615-1467-1_7","relation":{},"ISSN":["1568-2633"],"issn-type":[{"type":"print","value":"1568-2633"}],"subject":[],"published":{"date-parts":[[2001]]}}}