{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T00:19:23Z","timestamp":1756253963884,"version":"3.44.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,15]]},"DOI":"10.1109\/bcca53669.2021.9656962","type":"proceedings-article","created":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T16:03:46Z","timestamp":1640880226000},"page":"97-104","source":"Crossref","is-referenced-by-count":3,"title":["Justifying the Dependability and Security of Business-Critical Blockchain-based Applications"],"prefix":"10.1109","author":[{"given":"Pierre-Yves","family":"Piriou","sequence":"first","affiliation":[{"name":"EDF Lab,Dpt. PRISME,Chatou,France"}]},{"given":"Olivier","family":"Boudeville","sequence":"additional","affiliation":[{"name":"EDF Lab,Dpt. PERICLES,Saclay,France"}]},{"given":"Gilles","family":"Deleuze","sequence":"additional","affiliation":[{"name":"EDF Lab,Dpt. PERICLES,Saclay,France"}]},{"given":"Sara","family":"Tucci-Piergiovanni","sequence":"additional","affiliation":[{"name":"Université Paris Saclay,CEA, LIST,Palaiseau,France,F-91120"}]},{"given":"\u00d6nder","family":"G\u00fcrcan","sequence":"additional","affiliation":[{"name":"Université Paris Saclay,CEA, LIST,Palaiseau,France,F-91120"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"ref11","article-title":"Claims arguments evidence","author":"gan","year":"2019","journal-title":"11th Int Conf on Nuclear Criticality Safety (ICNC)"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-662-46803-6_10"},{"key":"ref13","article-title":"On using agent-based modeling and simulation for studying blockchain systems","author":"g\u00fcrcan","year":"2020","journal-title":"JFMS 2020 - Les Journées Francophones de la Modélisation et de la Simulation - Convergences entre la Théorie de la Modélisation et la Simulation et les Systèmes Multi-Agents"},{"year":"2011","journal-title":"ISO Standard","article-title":"Systems and software engineering — systems and software assurance — part 2: Assurance case","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/3384943.3409435"},{"key":"ref16","first-page":"6","article-title":"The goal structuring notation–a safety argument notation","author":"kelly","year":"2004","journal-title":"Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.3390\/info10120378"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/357172.357176"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/DSN.2014.97"},{"key":"ref4","article-title":"Compositional Verification of Byzantine Consensus","author":"bertrand","year":"2021","journal-title":"working paper or preprint"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref6","first-page":"335","article-title":"Invited talk: Structured engineering argumentation","author":"bloomfield","year":"2017","journal-title":"JSAI International Symposium on Artificial Intelligence"},{"key":"ref5","first-page":"390","article-title":"The future of goal-based assurance cases","author":"bishop","year":"2004","journal-title":"Proc Workshop on Assurance Cases"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-981-15-0871-4_24"},{"key":"ref7","first-page":"10","article-title":"Formal specification and model checking of the tendermint blockchain synchronization protocol (short paper)","author":"braithwaite","year":"2020","journal-title":"2nd Workshop on Formal Methods for Blockchains FMBC CAV 2020"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/3190508.3190538"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/SMC-IT.2011.17"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.pmcj.2019.101050"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ISCC.2018.8538752"},{"year":"2017","author":"perrin","journal-title":"Distributed systems concurrency and consistency","key":"ref22"},{"year":"2014","author":"ongaro","journal-title":"Consensus Bridging theory and practice","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-319-94478-4_18"},{"key":"ref23","article-title":"Distributed certification of industrial operations","author":"piriou","year":"2019","journal-title":"28th IEEE International Conference on Robot & Human Interactive Communication Workshop on Blockchain Technologies for Robotic Systems (BCT4ROS)"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/3316481"}],"event":{"name":"2021 Third International Conference on Blockchain Computing and Applications (BCCA)","start":{"date-parts":[[2021,11,15]]},"location":"Tartu, Estonia","end":{"date-parts":[[2021,11,17]]}},"container-title":["2021 Third International Conference on Blockchain Computing and Applications (BCCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9656932\/9656958\/09656962.pdf?arnumber=9656962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:14:13Z","timestamp":1756235653000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9656962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,15]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/bcca53669.2021.9656962","relation":{},"subject":[],"published":{"date-parts":[[2021,11,15]]}}}