{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:18:40Z","timestamp":1737091120112,"version":"3.33.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"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":[[2002]]},"DOI":"10.1007\/3-540-47961-9_23","type":"book-chapter","created":{"date-parts":[[2007,5,18]],"date-time":"2007-05-18T16:52:45Z","timestamp":1179507165000},"page":"311-327","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Payment Protocols via MultiAgent Model Checking"],"prefix":"10.1007","author":[{"given":"M.","family":"Benerecetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Panti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Spalazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Tacconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"M. Abadi and M. Tuttle. A semantics for a logic of authentication. In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, pages 201\u2013216, 1991.","key":"23_CR1","DOI":"10.1145\/112600.112618"},{"unstructured":"M. Bellare, J. A. Garay, R. Hauser, A. Herzberg, H. Krawczyk, M. Steiner, G. Tsudik, and M. Waidner. iKP-a family of secure electronic payment protocols. In Proc. of the First USENIX Workshop of Electronic Commerce, Berkeley, CA, USA, 1995. USENIX Assoc.","key":"23_CR2"},{"unstructured":"M. Benerecetti and A. Cimatti. Symbolic Model Checking for Multi-Agent Systems. In CLIMA-2001, Workshop on Computational Logic in Multi-Agent Systems, Paphos, Cyprus, December 1st 2001. Co-located with ICLP\u201901.","key":"23_CR3"},{"doi-asserted-by":"crossref","unstructured":"M. Benerecetti and F. Giunchiglia. Model checking security protocols using a logic of belief. In Proc. of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), Berlin, Germany, March 27th-April 1st 2000.","key":"23_CR4","DOI":"10.1007\/3-540-46419-0_35"},{"doi-asserted-by":"crossref","unstructured":"M. Benerecetti, F. Giunchiglia, M. Panti, and L. Spalazzi. A Logic of Belief and a Model Checking Algorithm for Security Protocols. In Proc. of IFIP TC6\/WG6.1 International Conference FORTE\/PSTV 2000, Dordrecht, The Netherlands, 2000. Kluwer Academic Publisher.","key":"23_CR5","DOI":"10.1007\/978-0-387-35533-7_25"},{"issue":"3","key":"23_CR6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, 8(3):401\u2013423, June 1998.","journal-title":"Journal of Logic and Computation"},{"doi-asserted-by":"crossref","unstructured":"D. Bolignano. Towards the Formal Verification of Electronic Commerce Protocols. In Proceedings of 10th Computer Security Foundations Workshop, pages 133\u2013146, 1997.","key":"23_CR7","DOI":"10.1109\/CSFW.1997.596802"},{"issue":"1","key":"23_CR8","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"Michael Burrows","year":"1990","unstructured":"Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18\u201336, February 1990.","journal-title":"ACM Transactions on Computer Systems"},{"doi-asserted-by":"crossref","unstructured":"A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new Symbolic Model Verifier. In Proceedings of the International Conference on Computer-Aided Verification (CAV\u201999), Trento, Italy, July 1999.","key":"23_CR9","DOI":"10.1007\/3-540-48683-6_44"},{"unstructured":"E. Clarke, O. Grumberg, and D. Long. Model Checking. In Proc. of the International Summer School on Deductive Program Design, Marktoberdorf, Germany, 1994.","key":"23_CR10"},{"unstructured":"E. Clarke, S. Jha, and W. Marrero. A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. In Proc. of the Workshop on Formal Methods and Security Protocols, 1998.","key":"23_CR11"},{"doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 996\u20131072, Amsterdam, The Netherland, 1990. Elsevier Science Publishers.","key":"23_CR12","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"unstructured":"N. Heintze, J. D. Tygar, J. Wing, and H. C. Wong. Model Checking Electronic Commerce Protocols. In Proc. of the 2 nd USENIX Workshop on Electronic Commerce, 1996.","key":"23_CR13"},{"unstructured":"R. W. Lichota, G. L. Hammonds, and S. H. Brackin. Verifying Cryptographic Protocols for Electronic Commerce. In Proc. of the 2 nd USENIX Workshop on Electronic Commerce, pages 53\u201365, 1996.","key":"23_CR14"},{"doi-asserted-by":"crossref","unstructured":"S. Lu and S. A. Smolka. Model Checking the Secure Electronic Transaction (SET) Protocol. In Proceedings of 7 th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pages 358\u2013365. IEEE Computer Society, 1999.","key":"23_CR15","DOI":"10.1109\/MASCOT.1999.805074"},{"unstructured":"Mastercard and Visa. SET Secure Electronic Transaction Specification. Mastercard & Visa, May 1997. Available at http:\/\/www.setco.org .","key":"23_CR16"},{"unstructured":"M. Panti, L. Spalazzi, and S. Tacconi. Verification of Security Properties in Electronic Payment Protocols. In IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS\u2019 02), Portland, Oregon, January 2002. Co-located with POPL\u201902.","key":"23_CR17"},{"doi-asserted-by":"crossref","unstructured":"P. Syverson and P. C. van Oorschot. On Unifying Some Cryptographic Protocol Logics. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 14\u201328, Oakland, CA, May 1994. IEEE Computer Society Press.","key":"23_CR18","DOI":"10.21236\/ADA465512"},{"doi-asserted-by":"crossref","unstructured":"E. Van Herreweghen. Non-repudiation in SET: Open Issues. In Proceedings of the 4 th Conference on Financial Cryptography, 2000.","key":"23_CR19","DOI":"10.1007\/3-540-45472-1_11"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47961-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T12:21:43Z","timestamp":1737030103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47961-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783319981765","9783319981772"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-47961-9_23","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2002]]}}}