{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T10:54:23Z","timestamp":1769165663406,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030440404","type":"print"},{"value":"9783030440411","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-44041-1_111","type":"book-chapter","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T19:02:51Z","timestamp":1585335771000},"page":"1303-1318","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts"],"prefix":"10.1007","author":[{"given":"Asma","family":"Lahbib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abderrahim","family":"Ait Wakrime","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anis","family":"Laouiti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khalifa","family":"Toumi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,28]]},"reference":[{"key":"111_CR1","doi-asserted-by":"crossref","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: International Conference on Principles of Security and Trust. Springer, Heidelberg (2017)","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"111_CR2","doi-asserted-by":"publisher","first-page":"77894","DOI":"10.1109\/ACCESS.2019.2921624","volume":"7","author":"J Liu","year":"2019","unstructured":"Liu, J., Liu, Z.: A survey on security verification of blockchain smart contracts. IEEE Access 7, 77894\u201377904 (2019)","journal-title":"IEEE Access"},{"key":"111_CR3","doi-asserted-by":"crossref","unstructured":"Lahbib, A., et al.: Distributed resource management framework for industry 4.0 environments (DRMF). In: 2019 IEEE 18th International Symposium on Network Computing and Applications (NCA). IEEE (2019)","DOI":"10.1109\/NCA.2019.8935019"},{"key":"111_CR4","doi-asserted-by":"crossref","unstructured":"Zheng, Z., et al.: An overview of blockchain technology: architecture, consensus, and future trends. In: 2017 IEEE International Congress on Big Data (BigData Congress). IEEE (2017)","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"111_CR5","unstructured":"Abeyratne, S.A., Monfared, R.P.: Blockchain ready manufacturing supply chain using distributed ledger (2016)"},{"key":"111_CR6","unstructured":"Solidity. Programming language for smart contracts. \nhttps:\/\/solidity.readthedocs.io\/en\/v0.5.3\/"},{"key":"111_CR7","doi-asserted-by":"crossref","unstructured":"Luu, L., et al.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. ACM (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"111_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"111_CR9","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: International Symposium of Formal Methods Europe. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"111_CR10","unstructured":"ClearSy: Atelier B: B System (2019). \nhttp:\/\/clearsy.com\/"},{"key":"111_CR11","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security. ACM (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"111_CR12","doi-asserted-by":"crossref","unstructured":"Amani, S., et al.: Towards verifying ethereum smart contract bytecode in Isabelle\/HOL. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM (2018)","DOI":"10.1145\/3176245.3167084"},{"key":"111_CR13","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Brousmiche, K.: Formal verification of smart contracts based on users and blockchain behaviors models. In: 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS). IEEE (2018)","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"111_CR14","doi-asserted-by":"crossref","unstructured":"Bigi, G., et al.: Validation of decentralised smart contracts through game theory and formal methods. In: Programming Languages with Applications to Biology and Security, pp. 142\u2013161. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-25527-9_11"},{"key":"111_CR15","doi-asserted-by":"crossref","unstructured":"Nehai, Z., Piriou, P.-Y., Daumas, F.: Model-checking of smart contracts. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). IEEE (2018)","DOI":"10.1109\/Cybermatics_2018.2018.00185"},{"key":"111_CR16","doi-asserted-by":"crossref","unstructured":"Kalra, S., et al.: ZEUS: analyzing safety of smart contracts. In: NDSS (2018)","DOI":"10.14722\/ndss.2018.23082"},{"issue":"2","key":"111_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185\u2013203 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"111_CR18","volume-title":"Model Checking","author":"EM Clarke Jr","year":"2018","unstructured":"Clarke Jr., E.M., et al.: Model Checking. MIT Press, Cambridge (2018)"},{"key":"111_CR19","doi-asserted-by":"crossref","unstructured":"Ait Wakrime, A., Gibson, J.P., Raffy, J.-L.: Formalising the requirements of an e-voting software product line using event-B. In: 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE). IEEE (2018)","DOI":"10.1109\/WETICE.2018.00022"},{"key":"111_CR20","doi-asserted-by":"crossref","unstructured":"Ait Wakrime, A., et al.: Formalizing railway signaling system ERTMS\/ETCS using UML\/Event-B. In: International Conference on Model and Data Engineering. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-00856-7_21"}],"container-title":["Advances in Intelligent Systems and Computing","Advanced Information Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44041-1_111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T00:24:39Z","timestamp":1585355079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-44041-1_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030440404","9783030440411"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44041-1_111","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"28 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Caserta","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":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina0d","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}