{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:25:18Z","timestamp":1764332718729,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030105488"},{"type":"electronic","value":"9783030105495"}],"license":[{"start":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T00:00:00Z","timestamp":1546214400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T00:00:00Z","timestamp":1546214400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-10549-5_27","type":"book-chapter","created":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T00:03:31Z","timestamp":1546214611000},"page":"342-354","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["On and Off-Blockchain Enforcement of Smart Contracts"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Molina-Jimenez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ellis","family":"Solaiman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Sfyrakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jon","family":"Crowcroft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,31]]},"reference":[{"key":"27_CR1","unstructured":"Hat: Hub-of-all-things. http:\/\/hubofallthings.com\/home\/. Accessed 10 Feb 2016"},{"key":"27_CR2","unstructured":"Antonopoulos, A.: Mastering Bitcoin. O\u2019Reilly, second edn. (2017)"},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2460276.2462076","volume":"11","author":"P Bailis","year":"2013","unstructured":"Bailis, P., Ghodsi, A.: Eventual consistency today: limitations, extensions, and beyond. ACM Queue 11(3), 20 (2013)","journal-title":"ACM Queue"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-70278-0_31","volume-title":"Financial Cryptography and Data Security","author":"Massimo Bartoletti","year":"2017","unstructured":"Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns (2017). https:\/\/arxiv.org\/pdf\/1703.06322.pdf"},{"key":"27_CR5","unstructured":"bitinfocharts: Cryptocurrency statistics (2018). https:\/\/bitinfocharts.com"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, R., et al.: Ekiden: a platform for confidentiality-preserving, trustworthy, and performant smart contract execution. arXiv:1804.05141 [cs.CR] (2018)","DOI":"10.1109\/EuroSP.2019.00023"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Cook, N., Robinson, P., Shrivastava, S.: Component middleware to support non-repudiable service interactions. In: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN 2004) (2004)","DOI":"10.1109\/DSN.2004.1311931"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Decker, C., Seidel, J., Wattenhofer, R.: Bitcoin meets strong consistency. In: Proceedings of the 17th International Conference on Distributed Computing and Networking (ICDCN 2016) (2016)","DOI":"10.1145\/2833312.2833321"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-67262-5_1","volume-title":"Service-Oriented and Cloud Computing","author":"Jacob Eberhardt","year":"2017","unstructured":"Eberhardt, J., Tai, S.: On or off the blockchain? insights on off-chaining computation and data. In: (ESOCC 2017) (2017)"},{"key":"27_CR10","unstructured":"Ethereum: A next-generation smart contract and decentralized application platform (2017). https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper. Acceepted 23 Oct 2017"},{"key":"27_CR11","unstructured":"Ethereum: Decentralized apps (dapps) (2018). https:\/\/github.com\/ethereum\/wiki\/wiki\/Decentralized-apps-(dapps)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Gama, P., Ribeiro, C., Ferreira, P.: Heimdhal: a history-based policy engine for grids. In: Proceedings of the 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2006), pp. 481\u2013488. IEEE CS (2006)","DOI":"10.1109\/CCGRID.2006.54"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 221\u2013232. IEEE Computer Society (2006)","DOI":"10.1109\/EDOC.2006.22"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-42019-6_11","volume-title":"Rule Technologies. Research, Tools, and Applications","author":"F Idelberger","year":"2016","unstructured":"Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 167\u2013183. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42019-6_11"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-25982-4_7","volume-title":"Web Services, E-Business, and the Semantic Web","author":"H Ludwig","year":"2004","unstructured":"Ludwig, H., Stolze, M.: Simple obligation and right model (SORM) \u2013 for the runtime management of electronic service contracts. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 62\u201376. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25982-4_7"},{"key":"27_CR16","unstructured":"Marshall, L.F.: Representing management policy using contract objects. In: Proceedings of the IEEE First International Workshop on Systems Management, pp. 27\u201330 (1993)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Minsky, N.: A model for the governance of federated healthcare information systems. In: IEEE International Symposium on Policies for Distributed Systems and Networks (Policy 2010) (2010)","DOI":"10.1109\/POLICY.2010.32"},{"key":"27_CR18","unstructured":"Minsky, N.H., Lockman, A.D.: Ensuring integrity by adding obligations to privileges. In: Proceedings of the 8th International Conference on Software Engineering, pp. 92\u2013102 (1985)"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Sfyrakis, I., Solaiman, E., Ng, I., Wong, M.W., Chun, A., Crowcroft, J.: Implementation of smart contracts using hybrid architectures with on-and off-blockchain components. arXiv:1808.00093 [cs.SE] (2018)","DOI":"10.1109\/SC2.2018.00018"},{"key":"27_CR20","unstructured":"Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Contract representation for run-time monitoring and enforcement. In: IEEE International Conference on E-Commerce (CEC 2003) (2003)"},{"issue":"2","key":"27_CR21","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.elerap.2004.02.003","volume":"3","author":"C Molina-Jimenez","year":"2004","unstructured":"Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3(2), 108\u2013125 (2004)","journal-title":"Electron. Commer. Res. Appl."},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S., Strano, M.: A model for checking contractual compliance of business interactions. IEEE Trans. Serv. Comput. PP(99) (2011)","DOI":"10.1109\/TSC.2011.37"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Solaiman, E., Sfyrakis, I., Ng, I., Crowcroft, J.: On and off-blockchain enforcement of smart contracts. arXiv preprint arXiv:1805.00626, May 2018","DOI":"10.1007\/978-3-030-10549-5_27"},{"key":"27_CR24","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). http:\/\/nakamotoinstitute.org\/bitcoin\/. Accessed 13 Nov 2017"},{"issue":"2","key":"27_CR25","first-page":"101","volume":"21","author":"K O\u2019Hara","year":"2017","unstructured":"O\u2019Hara, K.: Smart contracts-dumb idea. IEEE Internet Comput. 21(2), 101 (2017)","journal-title":"IEEE Internet Comput."},{"key":"27_CR26","unstructured":"Perrin, O., Godart, C.: An approach to implement contracts as trusted intermediaries. In: Proceedings of the 1st IEEE International Workshop on Electronic Contracting (WEC 2004), pp. 71\u201378 (2004)"},{"key":"27_CR27","unstructured":"Poon, J., Dryja, T.: The bitcoin lightning network: scalable off-chain instant payments, January 2016. https:\/\/lightning.network\/lightning-network-paper.pdf"},{"key":"27_CR28","unstructured":"Sergey, I., Kumar, A., Hobor, A.: Scilla: a smart contract intermediate-level language: automata for smart contract implementation and verification, January 2018. https:\/\/arxiv.org\/abs\/1801.00687"},{"key":"27_CR29","unstructured":"Shrivastava, S.: An overview of the tapas architecture. http:\/\/tapas.sourceforge.net\/deliverables\/D5Extra.pdf, January 2005. supplement Delivery of the TAPAS (Trusted and QoS-Aware Provision of Application Services) IST Project No: IST-2001-34069"},{"key":"27_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-24593-3_21","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"E Solaiman","year":"2003","unstructured":"Solaiman, E., Molina-Jimenez, C., Shrivastav, S.: Model checking correctness properties of electronic contracts. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 303\u2013318. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-24593-3_21"},{"key":"27_CR31","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-29582-4_11","volume-title":"Cloud Computing and Services Science","author":"E Solaiman","year":"2016","unstructured":"Solaiman, E., Sfyrakis, I., Molina-Jimenez, C.: High level model checker based testing of electronic contracts. In: Helfert, M., M\u00e9ndez Mu\u00f1oz, V., Ferguson, D. (eds.) CLOSER 2015. CCIS, vol. 581, pp. 193\u2013215. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29582-4_11"},{"key":"27_CR32","doi-asserted-by":"crossref","unstructured":"Solaiman, E., Sfyrakis, I., Molina-Jimenez, C.: A state aware model and architecture for the monitoring and enforcement of electronic contracts. In: Proceedings of the IEEE 18th Conference on Business Informatics (CBI 2016) (2016)","DOI":"10.1109\/CBI.2016.15"},{"key":"27_CR33","doi-asserted-by":"crossref","unstructured":"Szabo, N.: Smart contracts: formalizing and securing relationships on public networks. First Monday 2(9), September 1997","DOI":"10.5210\/fm.v2i9.548"},{"key":"27_CR34","unstructured":"The Linux Foundation: Hyperledger (2017). www.hyperledger.org. Accessed Nov 2017"},{"key":"27_CR35","unstructured":"HATDex: Rumpel Platform (2018). http:\/\/www.hatdex.org\/rumpel-platform\/"},{"key":"27_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-319-39028-4_9","volume-title":"Open Problems in Network Security","author":"M Vukoli\u0107","year":"2016","unstructured":"Vukoli\u0107, M.: The quest for scalable blockchain fabric: proof-of-work vs. BFT replication. In: Camenisch, J., Kesdo\u011fan, D. (eds.) iNetSec 2015. LNCS, vol. 9591, pp. 112\u2013125. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39028-4_9"},{"key":"27_CR37","doi-asserted-by":"crossref","unstructured":"W\u00f6rner, D., von Bomhard, T.: When your sensor earns money: exchanging data for cash with bitcoin. In: Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014) (2014)","DOI":"10.1145\/2638728.2638786"},{"key":"27_CR38","unstructured":"Zyskind, G., Nathan, O., Pentland, A.S.: Enigma: decentralized computation platform with guaranteed privacy. Tech. Report arXiv:1506.03471v1 [cs.CR], arXiv.org, January 2015"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2018: Parallel Processing Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-10549-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T08:39:31Z","timestamp":1672562371000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-10549-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,31]]},"ISBN":["9783030105488","9783030105495"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-10549-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018,12,31]]},"assertion":[{"value":"31 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Euro-Par","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Parallel Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"europar2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/europar2018.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}