Login / Signup
An Extensive Formal Security Analysis of the OpenID Financial-Grade API.
Daniel Fett
Pedram Hosseyni
Ralf Küsters
Published in:
IEEE Symposium on Security and Privacy (2019)
Keyphrases
</>
security analysis
public key
high security
smart card
security requirements
image encryption
encryption scheme
user authentication
internet banking
encryption algorithm
authentication protocol
source code
formal model
third party
cost effective
open source
authentication scheme
operating system
mutual authentication