A Comprehensive Formal Security Analysis of OAuth 2.0.
Daniel FettRalf KüstersGuido SchmitzPublished in: CCS (2016)
Keyphrases
- security analysis
- public key
- smart card
- security properties
- high security
- security requirements
- security model
- authentication protocol
- image encryption
- formal model
- user authentication
- formal methods
- mutual authentication
- authentication scheme
- encryption scheme
- real time
- intrusion detection
- software engineering
- motion estimation
- similarity measure
- data mining