Login / Signup
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.
João F. Ferreira
Saul A. Johnson
Alexandra Mendes
Phillip J. Brooke
Published in:
IFM (2017)
Keyphrases
</>
user authentication
test bed
quality assessment
keystroke dynamics
high quality
operating system
database applications
password authentication
authentication systems
authentication mechanism
case study
open source
information security
security analysis
biometric authentication