A Comprehensive Formal Security Analysis of OAuth 2.0.
Daniel FettRalf KüstersGuido SchmitzPublished in: CoRR (2016)
Keyphrases
- security analysis
- security requirements
- smart card
- high security
- public key
- image encryption
- encryption scheme
- authentication protocol
- security model
- security properties
- proxy signature scheme
- mutual authentication
- user authentication
- formal methods
- formal model
- encryption algorithm
- private key
- authentication scheme
- lightweight
- databases