The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines.
Daniel FettRalf KüstersGuido SchmitzPublished in: CoRR (2017)
Keyphrases
- security analysis
- security requirements
- high security
- security properties
- security model
- smart card
- public key
- mutual authentication
- authentication protocol
- encryption scheme
- internet banking
- authentication mechanism
- user authentication
- image encryption
- elliptic curve cryptography
- private key
- encryption algorithm
- key exchange
- information security
- authentication scheme
- access control
- formal model
- secure electronic
- security mechanisms