An Extensive Formal Analysis of Multi-factor Authentication Protocols.

Charlie Jacomme Steve Kremer

Published in: ACM Trans. Priv. Secur. (2021)

Keyphrases

formal analysis
ban logic
authentication protocol
agent model
formal methods
smart card
lightweight
public key
real time
machine learning