Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules

AuthID
P-00N-PGS
4
Author(s)
Johnson, SA
·
Brooke, PJ
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
in IFM, ISSN: 03029743
Volume: 10510 LNCS, Páginas: 407-421 (14)
Indexing
Publication Identifiers
DBLP: conf/ifm/FerreiraJMB17
SCOPUS: 2-s2.0-85030170011
Source Identifiers
ISSN: 03029743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.