Login / Signup
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login.
Giada Sciarretta
Roberto Carbone
Silvio Ranise
Luca Viganò
Published in:
ACM Trans. Priv. Secur. (2020)
Keyphrases
</>
factor authentication
formal analysis
mobile terminals
formal methods
smart card
authentication systems
wireless communication
agent model
mobile devices
user authentication
ban logic
artificial intelligence
information systems
distributed systems
multimedia data
biometric recognition