A formal model of Bitcoin transactions.

Nicola Atzei Massimo Bartoletti Stefano Lande Roberto Zunino

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

Keyphrases

formal model
credit card
transactional data
transaction data
database
formal models
security patterns
fraud detection
probabilistic knowledge
predicate calculus
transaction model
trusted third party
security properties
transaction management
transaction processing
case based reasoning
information systems