{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T19:03:29Z","timestamp":1778267009503,"version":"3.51.4"},"reference-count":17,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2021,7,17]],"date-time":"2021-07-17T00:00:00Z","timestamp":1626480000000},"content-version":"vor","delay-in-days":46,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1016\/j.bcra.2021.100024","type":"journal-article","created":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T18:14:35Z","timestamp":1626891275000},"page":"100024","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"title":["Modelling schemes for multi-party blockchain-based systems to support integrity analysis"],"prefix":"10.1016","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7043-7078","authenticated-orcid":false,"given":"Sin Kuang","family":"Lo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Staples","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiwei","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2021.100024_bib1","series-title":"BPM 2016: Business Process Management","first-page":"329","article-title":"Untrusted business process monitoring and execution using blockchain","author":"Weber","year":"2016"},{"key":"10.1016\/j.bcra.2021.100024_bib2","series-title":"Architecture for Blockchain Applications","author":"Xu","year":"2019"},{"key":"10.1016\/j.bcra.2021.100024_bib3","series-title":"2016 IEEE 15th International Symposium on Network Computing and Applications (NCA); 31 Oct\u20132 Nov 2016; Cambridge, MA, USA","first-page":"310","article-title":"The blockchain anomaly","author":"Natoli","year":"2016"},{"key":"10.1016\/j.bcra.2021.100024_bib4","article-title":"Decentralized blockchain technology and the rise of lex cryptographia","author":"Wright","year":"2015","journal-title":"SSRN"},{"issue":"C","key":"10.1016\/j.bcra.2021.100024_bib5","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/j.annals.2018.03.005","article-title":"Blockchain and tourism: three research propositions","volume":"72","author":"\u00d6nder","year":"2018","journal-title":"Ann. Tourism Res."},{"key":"10.1016\/j.bcra.2021.100024_bib6","series-title":"2011 IEEE 22nd International Symposium on Software Reliability Engineering; 29 Nov\u20132 Dec 2011; Hiroshima, Japan","first-page":"190","article-title":"Pat 3: An extensible architecture for building multi-domain model checkers","author":"Liu","year":"2011"},{"key":"10.1016\/j.bcra.2021.100024_bib7","series-title":"Logics in Artificial Intelligence","first-page":"730","article-title":"Satmc: A sat-based model checker for security protocols","author":"Armando","year":"2004"},{"key":"10.1016\/j.bcra.2021.100024_bib8","series-title":"Foundations of Security Analysis and Design VII","first-page":"54","article-title":"Automatic Verification of Security Protocols in the Symbolic Model: the Verifier ProVerif","author":"Blanchet","year":"2014"},{"key":"10.1016\/j.bcra.2021.100024_bib9","series-title":"2016 International Conference on Collaboration Technologies and Systems (CTS); 31 Oct\u20134 Nov 2016; Orlando, FL, USA","first-page":"430","article-title":"A\u00a0temporal blockchain: a formal analysis","author":"Dennis","year":"2016"},{"key":"10.1016\/j.bcra.2021.100024_bib10","series-title":"Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs; 8\u20139 Jan 2018; Los Angeles, CA, USA","first-page":"66","article-title":"Towards verifying Ethereum smart contract bytecode in Isabelle\/HOL","author":"Amani","year":"2018"},{"key":"10.1016\/j.bcra.2021.100024_bib11","series-title":"2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS); 26\u201328 Feb 2018; Paris, France","first-page":"1","article-title":"Formal verification of smart contracts based on users and blockchain behaviors models","author":"Abdellatif","year":"2018"},{"key":"10.1016\/j.bcra.2021.100024_bib12","series-title":"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); 30 Jul\u20133 Aug 2018; Halifax, NS, Canada","first-page":"980","article-title":"Model-checking of smart contracts","author":"Neha\u00ef","year":"2018"},{"key":"10.1016\/j.bcra.2021.100024_bib13","series-title":"2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS); 26\u201329 Sep 2017; Hong Kong, China.","first-page":"64","article-title":"On availability for blockchain-based systems","author":"Weber","year":"2017"},{"key":"10.1016\/j.bcra.2021.100024_bib14","series-title":"Proceedings of the 10th International Conference on Computer Modeling and Simulation, ICCMS 2018; 8\u201310 Jan 2018; Sydney, Australia","first-page":"231","article-title":"Formal modeling and verification of blockchain system","author":"Duan","year":"2018"},{"key":"10.1016\/j.bcra.2021.100024_bib15","series-title":"Stochastic Modelling and Analysis of Bitcoin","author":"Bistarelli","year":"2020"},{"key":"10.1016\/j.bcra.2021.100024_bib16","series-title":"Hard Fork Completed","author":"Buterin","year":"2016"},{"key":"10.1016\/j.bcra.2021.100024_bib17","author":"del Castillo"}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720921000191?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720921000191?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:15:29Z","timestamp":1761869729000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720921000191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["S2096720921000191"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2021.100024","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2021,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Modelling schemes for multi-party blockchain-based systems to support integrity analysis","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2021.100024","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2021 The Authors. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100024"}}