The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines.

Daniel Fett Ralf Küsters Guido Schmitz

Published in: CSF (2017)

Keyphrases

security analysis
security requirements
high security
security properties
smart card
security model
encryption scheme

public key
internet banking
elliptic curve cryptography
user authentication
mutual authentication
authentication protocol
image encryption

private key
key exchange
encryption algorithm
formal model
authentication mechanism
secure electronic
access control

distributed systems
diffie hellman
authentication scheme
security mechanisms
cost effective
low cost