An Extensive Formal Security Analysis of the OpenID Financial-grade API.

Daniel Fett Pedram Hosseyni Ralf Küsters

Published in: CoRR (2019)

Keyphrases

security analysis
smart card
security requirements
public key
high security
authentication protocol
image encryption
open source
encryption scheme
internet banking
source code
formal model
data mining
information systems
encryption algorithm
user authentication