Publications

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

AuthID
P-00N-PGS

Author(s)

Ferreira, JF

Johnson, SA

Mendes, A

Brooke, PJ

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

Scopus^®

Dblp^®/en/publications/view/711193

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-66845-1_27

DBLP: conf/ifm/FerreiraJMB17

SCOPUS: 2-s2.0-85030170011

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help