A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
Quoc Huy DoPedram HosseyniRalf KüstersGuido SchmitzNils WenzlerTim WürtelePublished in: IEEE Symposium on Security and Privacy (2022)
Keyphrases
- security analysis
- high security
- secure electronic
- semantic web
- security requirements
- smart card
- public key
- security mechanisms
- cryptographic protocols
- authentication protocol
- image encryption
- security properties
- password guessing
- security model
- formal methods
- linked data
- web applications
- encryption scheme
- encryption algorithm
- knowledge management
- software engineering
- information systems