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(s)
Nadia Polikarpova; Steve Schneider
Document Type
Proceedings Paper
Year published
2017
Published
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, Pages: 407-421
Conference
13Th International Conference on Integrated Formal Methods, Ifm 2017, Date: 20 September 2017 through 22 September 2017
Indexing
Publication Identifiers
Dblp: conf/ifm/FerreiraJMB17
Scopus: 2-s2.0-85030170011
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.