Login / Signup
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process.
Pedram Hosseyni
Ralf Küsters
Tim Würtele
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
security analysis
smart card
formal model
public key
security requirements
encryption scheme
authentication scheme
high security