Login / Signup
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal.
Fabio Di Tommaso
Michele Guerra
Fabio Martinelli
Francesco Mercaldo
Massimo Piedimonte
Giovanni Rosa
Antonella Santone
Published in:
IEEE BigData (2019)
Keyphrases
</>
model checking
user authentication
keystroke dynamics
temporal logic
identity verification
formal verification
verification method
information security
security analysis
authentication protocol
biometric authentication
intrusion detection
biometric data
security requirements