A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
Quoc Huy DoPedram HosseyniRalf KüstersGuido SchmitzNils WenzlerTim WürtelePublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- security analysis
- high security
- secure electronic
- semantic web
- security requirements
- security mechanisms
- smart card
- web applications
- cryptographic protocols
- public key
- image encryption
- authentication protocol
- security model
- security properties
- password guessing
- formal methods
- encryption scheme
- linked data
- query language
- encryption algorithm
- lightweight
- low cost
- defense mechanisms
- authentication scheme
- user authentication
- private key
- payment systems
- security protocols
- security issues
- watermarking scheme