{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T23:17:24Z","timestamp":1790119044420,"version":"4.0.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319255262","type":"print"},{"value":"9783319255279","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25527-9_11","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T07:08:43Z","timestamp":1444201723000},"page":"142-161","source":"Crossref","is-referenced-by-count":59,"title":["Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods"],"prefix":"10.1007","author":[{"given":"Giancarlo","family":"Bigi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Bracciali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Meacci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"key":"11_CR1","volume-title":"Mastering Bitcoin","author":"A Antonopoulos","year":"2015","unstructured":"Antonopoulos, A.: Mastering Bitcoin. O\u2019Relly, San Francisco (2015)"},{"key":"11_CR2","unstructured":"Back, A.: Hashcash a denial of service counter-measure (2002). \n                    http:\/\/www.hashcash.org\/papers\/hashcash.pdf"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Cimoli, T., Zunino, R.: Compliance in behavioural contracts: a brief survey. In: Bodei, C., Ferrari, G.-L., Priami, C. (eds.) Programming Languages with Applications to Biology and Security - Colloquium in Honour of Pierpaolo Degano for his 65th Birthday. LNCS. Springer (2015) (to appear)","DOI":"10.1007\/978-3-319-25527-9_9"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-38592-6_21","volume-title":"Formal Techniques for Distributed Systems","author":"M Bartoletti","year":"2013","unstructured":"Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 305\u2013320. Springer, Heidelberg (2013)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-662-45917-1_3","volume-title":"Trustworthy Global Computing","author":"D Basile","year":"2014","unstructured":"Basile, D., Degano, P., Ferrari, G.-L.: Automata for analysing service contracts. In: Maffei, M., Tuosto, E. (eds.) TGC 2014. LNCS, vol. 8902, pp. 34\u201350. Springer, Heidelberg (2014). \n                    http:\/\/dx.doi.org\/10.1007\/978-3-662-45917-1_3"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s11227-014-1211-0","volume":"69","author":"D Basile","year":"2014","unstructured":"Basile, D., Degano, P., Ferrari, G.L.: A formal framework for secure and complying services. J. Supercomput. 69(1), 43\u201352 (2014). \n                    http:\/\/dx.doi.org\/10.1007\/s11227-014-1211-0","journal-title":"J. Supercomput."},{"key":"11_CR7","unstructured":"BitHalo: \n                    https:\/\/bithalo.org\/"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 499\u2013513. Springer, Heidelberg (1995)"},{"key":"11_CR9","unstructured":"BitcoinWiki: Atomic trading. \n                    https:\/\/en.bitcoin.it\/wiki\/atomic_cross-chain_trading"},{"key":"11_CR10","unstructured":"BitcoinWiki: Script. \n                    https:\/\/en.bitcoin.it\/wiki\/script"},{"key":"11_CR11","unstructured":"BitcoinWiki: Smart property. \n                    https:\/\/en.bitcoin.it\/wiki\/Smart_Property"},{"key":"11_CR12","unstructured":"Blockchain.info: Average transaction confirmation time. \n                    https:\/\/blockchain.info\/charts\/avg-confirmation-time"},{"key":"11_CR13","unstructured":"Dai, W.: b-money (1998). \n                    http:\/\/www.weidai.com\/bmoney.txt"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53\u2013113. Springer, Heidelberg (2011)"},{"issue":"5","key":"11_CR16","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"11_CR18","unstructured":"Lawsky, B.M.: Bitlicense. \n                    http:\/\/www.dfs.ny.gov\/legal\/regulations\/adoptions\/dfsp200t.pdf"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the Needham-Schroeder public-key authentication protocol. Inf. Process. Lett. 56(3), 131\u2013133 (1995)","journal-title":"Inf. Process. Lett."},{"key":"11_CR20","unstructured":"Malinowski, D., Mazurek, L., Andrychowicz, M., Dziembowski, S.: Secure multiparty computations on bitcoin. IACR Cryptology ePrint Archive, p. 784 (2013)"},{"key":"11_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511607950","volume-title":"Bargaining Theory with Applications","author":"A Muthoo","year":"1999","unstructured":"Muthoo, A.: Bargaining Theory with Applications. Cambridge University Press, Cambridge (1999)"},{"key":"11_CR22","unstructured":"Nakamoto, S.: Bitcoin: A peer-to-peer electronic cash system (2008). \n                    https:\/\/bitcoin.org\/bitcoin.pdf"},{"issue":"12","key":"11_CR23","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R Needham","year":"1978","unstructured":"Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"key":"11_CR24","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"11_CR25","unstructured":"de Soto, H.P.: The property rights project. \n                    http:\/\/www.ild.org.pe"},{"key":"11_CR26","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday (1997). \n                    http:\/\/firstmonday.org\/ojs\/index.php\/fm\/article\/view\/548\/469"},{"key":"11_CR27","unstructured":"Szabo, N.: The idea of smart contracts (1997). \n                    http:\/\/szabo.best.vwh.net\/smart_contracts_idea.html"},{"key":"11_CR28","unstructured":"VV.AA: Special report bitcoin. Bloomberg Briefs (2015). \n                    http:\/\/www.bloombergbriefs.com\/"},{"key":"11_CR29","unstructured":"Zimbeck, D.: Two party double deposit trustless escrow in cryptographic networks and bitcoin (2014). \n                    https:\/\/bithalo.org\/"}],"container-title":["Lecture Notes in Computer Science","Programming Languages with Applications to Biology and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25527-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,13]],"date-time":"2018-10-13T01:06:56Z","timestamp":1539392816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25527-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255262","9783319255279"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25527-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}