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

Description

  • Fabio Di Tommaso

  • Michele Guerra

  • Fabio Martinelli

  • Francesco Mercaldo

  • Massimo Piedimonte

  • Giovanni Rosa

  • Antonella Santone

  • DOI:BigData47090.2019.9006227

  • December, 2019 - IEEE International Conference on Big Data

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

Tags