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
- Ebrahimi, E.TU Hamburg, Christian Doppler Laboratory for Blockchain Technologies for the Internet of Things, Hamburg, Germany (författare)
Model Checking of Hyperledger Fabric Smart Contracts
- Artikel/kapitelEngelska2023
Förlag, utgivningsår, omfång ...
- Institute of Electrical and Electronics Engineers Inc.2023
- printrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:mdh-64703
- https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-64703URI
- https://doi.org/10.1109/ETFA54631.2023.10275704DOI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- 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 och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- 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
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Khamespanah, E.University of Tehran, School of ECE, Tehran, Iran (författare)
- Sirjani, MarjanMälardalens universitet,Inbyggda system(Swepub:mdh)msi05 (författare)
- Mohammadi, S.University of Tehran, School of ECE, Tehran, Iran (författare)
- TU Hamburg, Christian Doppler Laboratory for Blockchain Technologies for the Internet of Things, Hamburg, GermanyUniversity of Tehran, School of ECE, Tehran, Iran (creator_code:org_t)
Sammanhörande titlar
- Ingår i:IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA: Institute of Electrical and Electronics Engineers Inc.9798350339918
Internetlänk
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
