A Formal Model of Bitcoin Transactions.

Nicola Atzei Massimo Bartoletti Stefano Lande Roberto Zunino

Published in: Financial Cryptography (2018)

Keyphrases

formal model
credit card
transactional data
transaction data
transaction management
database
formal models
predicate calculus
probabilistic knowledge
fraud detection
security properties
database transactions
security patterns
transaction processing