A Formal Analysis of the Bitcoin Protocol.

Cosimo Laneve Adele Veschetti

Published in: Gabbrielli's Festschrift (2020)

Keyphrases

formal analysis
ban logic
formal methods
payment protocol
agent model
trusted third party
information systems
case study
credit card
query language