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

AuthID
 P-00N-PGS
4
Author(s)
Johnson, SA
·
Brooke, PJ
2
Editor(es)
Nadia Polikarpova; Steve Schneider
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 10510, Páginas: 407-421
Conference
13Th International Conference on Integrated Formal Methods, Ifm 2017, Date: 20 September 2017 through 22 September 2017
Indexing
Scopus®
Dblp®/pt/publications/view/711193
Google Scholar®
Publication Identifiers
DBLP: conf/ifm/FerreiraJMB17
SCOPUS: 2-s2.0-85030170011
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service