{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:20:53Z","timestamp":1775913653380,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"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":[[2020,5]]},"DOI":"10.1109\/icbc48266.2020.9169472","type":"proceedings-article","created":{"date-parts":[[2020,8,17]],"date-time":"2020-08-17T18:39:45Z","timestamp":1597689585000},"page":"1-3","source":"Crossref","is-referenced-by-count":5,"title":["Verification of customizable blockchain consensus rule using a formal method"],"prefix":"10.1109","author":[{"given":"Ryo","family":"Kawahara","sequence":"first","affiliation":[{"name":"IBM Research – Tokyo IBM Japan,Tokyo,Japan"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-009-0084-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281136"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679411"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837650"},{"key":"ref16","article-title":"Endorsement policies","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2019.2900647"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2011.041257"},{"key":"ref4","article-title":"Bitcoin: A peer-to-peer electronic cash system","author":"nakamoto","year":"2008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"ref6","article-title":"Flows r3 corda v3.3 documentation","year":"2018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571640"},{"key":"ref8","article-title":"The stellar consensus protocol: A federated model for internet-level consensus","author":"mazieres","year":"2015"},{"key":"ref7","article-title":"The ripple protocol consensus algorithm","volume":"5","author":"schwartz","year":"2014","journal-title":"Ripple Labs Inc White Paper"},{"key":"ref2","first-page":"1:1","article-title":"Blockchain Consensus Protocols in the Wild (Keynote Talk)","volume":"91","author":"cachin","year":"0"},{"key":"ref1","article-title":"How blockchain applications will move beyond finance","volume":"2","author":"catallini","year":"2017","journal-title":"Harvard Business Rev"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3055518.3055526"}],"event":{"name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","location":"Toronto, ON, Canada","start":{"date-parts":[[2020,5,2]]},"end":{"date-parts":[[2020,5,6]]}},"container-title":["2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9165689\/9169389\/09169472.pdf?arnumber=9169472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:46:40Z","timestamp":1753732000000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9169472\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icbc48266.2020.9169472","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}