Formal modelling and security analysis of bitcoin's payment protocol.
Paolo ModestiSiamak F. ShahandashtiPatrick McCorryFeng HaoPublished in: Comput. Secur. (2021)
Keyphrases
- security analysis
- symmetric key
- credit card
- public key
- security requirements
- smart card
- security properties
- formal analysis
- security model
- formal model
- user authentication
- encryption algorithm
- authentication protocol
- payment systems
- encryption scheme
- formal methods
- access control policies
- trusted third party
- fraud detection
- mobile devices