{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:31:14Z","timestamp":1759847474035,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030634056"},{"type":"electronic","value":"9783030634063"}],"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"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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-63406-3_14","type":"book-chapter","created":{"date-parts":[[2020,12,18]],"date-time":"2020-12-18T16:05:19Z","timestamp":1608307519000},"page":"233-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing the Transaction Flow Process of Hyperledger Fabric"],"prefix":"10.1007","author":[{"given":"Xiangyu","family":"Chen","sequence":"first","affiliation":[]},{"given":"Ximeng","family":"Li","sequence":"additional","affiliation":[]},{"given":"Qianying","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Zhiping","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Guan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,19]]},"reference":[{"key":"14_CR1","unstructured":"Companies using Hyperledger Fabric. https:\/\/101blockchains.com\/hyperledger-fabric\/"},{"key":"14_CR2","unstructured":"The Coq proof assistant. https:\/\/coq.inria.fr\/"},{"key":"14_CR3","unstructured":"A repository for PoS related formal methods. https:\/\/github.com\/palmskog\/pos"},{"key":"14_CR4","unstructured":"Software foundations. https:\/\/softwarefoundations.cis.upenn.edu\/"},{"key":"14_CR5","unstructured":"Formalization of transaction flow process of Hyperledger Fabric in Coq (2020). https:\/\/github.com\/lixm\/hf-trans-flow"},{"key":"14_CR6","unstructured":"Hyperledger Fabric documentation (2020). https:\/\/buildmedia.readthedocs.org\/media\/pdf\/hyperledger-fabric\/latest\/hyperledger-fabric.pdf"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Amani, S., B\u00e9gel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in Isabelle\/HOL. In: CPP 2018, pp. 66\u201377 (2018)","DOI":"10.1145\/3176245.3167084"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In EuroSys 2018, pp. 30:1\u201330:15 (2018)","DOI":"10.1145\/3190508.3190538"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-030-43725-1_9","volume-title":"Financial Cryptography and Data Security","author":"R Banach","year":"2020","unstructured":"Banach, R.: Verification-led smart contracts. In: Bracciali, A., Clark, J., Pintore, F., R\u00f8nne, P.B., Sala, M. (eds.) FC 2019. LNCS, vol. 11599, pp. 106\u2013121. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43725-1_9"},{"key":"14_CR10","unstructured":"Beckert, B., Herda, M., Kirsten, M., Schiffl, J.: Formal specification and verification of Hyperledger Fabric chaincode. In: SDLT 2018 (2018)"},{"key":"14_CR11","unstructured":"Buterin, V., Griffith, V.: The Casper finality gadget. CoRR, abs\/1710.09437"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez Anta, A., Georgiou, C., Konwar, K., Nicolaou, N.: Formalizing and implementing distributed ledger objects. In: NETYS 2018, pp. 19\u201335 (2018)","DOI":"10.1007\/978-3-030-05529-5_2"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Grishchenko, I., Maffei, M., Schneidewind, C.: A semantic framework for the security analysis of Ethereum smart contracts. In: POST 2018, pp. 243\u2013269 (2018)","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-319-70278-0_33","volume-title":"Financial Cryptography and Data Security","author":"Y Hirai","year":"2017","unstructured":"Hirai, Y.: Defining the ethereum virtual machine for interactive theorem provers. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 520\u2013535. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_33"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Jiao, J., Kan, S., Lin, S.-W., Sanan, D., Liu, Y., Sun, J.: Semantic understanding of smart contracts: executable operational semantics of Solidity. In: S&P 2020 (2020)","DOI":"10.1109\/SP40000.2020.00066"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-030-32409-4_8","volume-title":"Formal Methods and Software Engineering","author":"X Li","year":"2019","unstructured":"Li, X., Shi, Z., Zhang, Q., Wang, G., Guan, Y., Han, N.: Towards verifying ethereum smart contracts at intermediate language level. In: Ait-Ameur, Y., Qin, S. (eds.) ICFEM 2019. LNCS, vol. 11852, pp. 121\u2013137. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32409-4_8"},{"key":"14_CR17","unstructured":"Thin, W.Y.M.M., Dong, N., Bai, G., Dong, J.: Formal analysis of a proof-of-stake blockchain. In: ICECCS 2018, pp. 197\u2013200 (2018)"},{"key":"14_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05156-3","volume-title":"Formal Methods - An Appetizer","author":"F Nielson","year":"2019","unstructured":"Nielson, F., Nielson, H.R.: Formal Methods - An Appetizer. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-030-05156-3"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"P\u00eerlea, G., Sergey, I.: Mechanising blockchain consensus. In: CPP 2018, pp. 78\u201390 (2018)","DOI":"10.1145\/3176245.3167086"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Sukhwani, H., Wang, N., Trivedi, K.S., Rindos, A.: Performance modeling of Hyperledger Fabric (permissioned blockchain network). In: NCA 2018, pp. 1\u20138 (2018)","DOI":"10.1109\/NCA.2018.8548070"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Wilcox, J.R., et al.: Verdi: a framework for implementing and formally verifying distributed systems. In: PLDI 2015, pp. 357\u2013368 (2015)","DOI":"10.1145\/2813885.2737958"},{"key":"14_CR22","unstructured":"Wood, G.: Ethereum: a secure decentralised generlised transaction ledger. https:\/\/gavwood.com\/paper.pdf"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Woos, D., Wilcox, J.R., Anton, S., Tatlock, Z., Ernst, M.D., Anderson, T.E.: Planning for change in a formal verification of the Raft consensus protocol. In: CPP 2016, pp. 154\u2013165 (2016)","DOI":"10.1145\/2854065.2854081"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Yaga, D., Mell, P., Roby, N., Scarfone, K.: Blockchain technology overview. Technical report, NISTIR 8202 (2018)","DOI":"10.6028\/NIST.IR.8202"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.comcom.2020.01.073","volume":"153","author":"P Yuan","year":"2020","unstructured":"Yuan, P., Zheng, K., Xiong, X., Zhang, K., Lei, L.: Performance modeling and analysis of a Hyperledger-based system using GSPN. Comput. Commun. 153, 117\u2013124 (2020)","journal-title":"Comput. Commun."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63406-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,24]],"date-time":"2021-02-24T14:35:15Z","timestamp":1614177315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63406-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030634056","9783030634063"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63406-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"19 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","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":"1 March 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 March 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formal-analysis.com\/icfem\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 Doctoral symposium paper in the back matter","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}