Antonella Santone

User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal

2019

The current authentication systems based on password and pin code are not enough to guarantee attacks from malicious users. For this reason, in the last years, several studies are proposed with the aim to identify …