Formal Modelling and Security Analysis of Bitcoin's Payment Protocol.
Paolo ModestiSiamak F. ShahandashtiPatrick McCorryFeng HaoPublished in: CoRR (2021)
Keyphrases
- security analysis
- symmetric key
- credit card
- smart card
- public key
- security requirements
- security properties
- encryption scheme
- security model
- authentication protocol
- formal analysis
- encryption algorithm
- payment systems
- user authentication
- formal methods
- formal model
- digital signature
- fraud detection
- private key
- software engineering