WFRF:(Ebrahimi S.)
Sökning: WFRF:(Ebrahimi S.) > Model Checking of H...
- 47 av 64
- Föregående post
- Nästa post
- Till träfflistan
Model Checking of Hyperledger Fabric Smart Contracts
-
- Ebrahimi, E. (författare)
- TU Hamburg, Christian Doppler Laboratory for Blockchain Technologies for the Internet of Things, Hamburg, Germany
-
- Khamespanah, E. (författare)
- University of Tehran, School of ECE, Tehran, Iran
-
- Sirjani, Marjan (författare)
- Mälardalens universitet,Inbyggda system
- visa fler...
- visa färre...
- (creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2023
- 2023
- Engelska.
- Ingår i: IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA. - : Institute of Electrical and Electronics Engineers Inc.. - 9798350339918
- Konferensbidrag (refereegranskat)
Abstract
Ämnesord
Stäng
- Conducting interactions between shared-purpose organizations that are not entirely trustworthy of each other without centralized oversight is an idea that emerged with the advent of private blockchains such as Hyperledger Fabric and its smart contracts. It is critical to check contracts to ensure their proper functionality, as organizations may collaborate with competitors. Due to the new architecture of Hyperledger Fabric, tools in this area are limited. To formally verify the source code of contracts, we mapped Fabric contract concepts into the Rebeca modeling language. Rebeca is an actor-based language that enables the modeling of concurrent and distributed systems and is supported by a model checking tool, Afra. We have identified vulnerabilities such as deadlock and starvation by examining the desired properties. Using the model checking approach, we could debug the code and hence benefit from speeding up the transactions, creating fewer extra blocks, requiring less storage space to store the ledger, and avoiding wasting computing resources.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Hyperledger Fabric
- Model Checking
- Smart Contracts
- Distributed ledger
- Modeling languages
- Program debugging
- Block-chain
- Centralised
- Computing resource
- Concurrent and distributed systems
- Hyperledg fabric
- Model checking tools
- Models checking
- Property
- Source codes
- Storage spaces
- Smart contract
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
- IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 47 av 64
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Ebrahimi, E.
- Khamespanah, E.
- Sirjani, Marjan
- Mohammadi, S.
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- IEEE Int. Conf. ...
- Av lärosätet
- Mälardalens universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
