Login / Signup
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols.
Alessandro Armando
Roberto Carbone
Luca Zanetti
Published in:
NSS (2013)
Keyphrases
</>
security analysis
authentication protocol
smart card
public key
security requirements
security properties
encryption scheme
user authentication
lightweight
key exchange
information systems
similarity search
key distribution