Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts.
Cheng ShiKazuki YoneyamaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2022)
Keyphrases
- formal verification
- fair exchange
- trusted third party
- model checking
- third party
- fair exchange protocols
- model checker
- electronic commerce
- multi party
- credit card
- digital signature
- bounded model checking
- symbolic model checking
- automated verification
- signature scheme
- privacy protection
- dispute resolution
- public key
- authentication protocol
- fraud detection
- ad hoc networks