Login / Signup
Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers.
Eduardo dos Santos
Jean Everson Martina
Ricardo Felipe Custódio
Published in:
TrustCom (2012)
Keyphrases
</>
formal verification
authentication protocol
model checking
automated theorem provers
smart card
model checker
computer algebra
public key
bounded model checking
automated verification
symbolic model checking
lightweight
security analysis
secret key
security protocols
temporal logic
password authentication