An Extensive Formal Analysis of Multi-factor Authentication Protocols.

Charlie Jacomme Steve Kremer

Published in: CSF (2018)

Keyphrases

formal analysis
ban logic
authentication protocol
formal methods
smart card
agent model
real time
public key
databases
knowledge acquisition