Correctness of Smart Contracts for Consistency Enforcement.

Thomas Osterland Thomas Rose

Published in: ERCIM News (2017)

Keyphrases

supply chain
correctness criterion
case study
temporal consistency
maintaining consistency
information systems
access control
consistency checking
global consistency