Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric.

Ralf Küsters Daniel Rausch Mike Simon

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

formal analysis
formal methods
agent model
ban logic
defect detection
design process
information systems
cost effective
texture analysis