Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts.
Cheng ShiKazuki YoneyamaPublished in: INDOCRYPT (2020)
Keyphrases
- formal verification
- fair exchange
- trusted third party
- model checking
- fair exchange protocols
- third party
- credit card
- electronic commerce
- automated verification
- bounded model checking
- symbolic model checking
- model checker
- dispute resolution
- multi party
- digital signature
- privacy protection
- signature scheme
- authentication protocol
- temporal logic