Publicações

You have no permission to see this content: profileOfResearchers/view

Please sign in.

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(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^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

Info

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

You have no permission to see this content: profileOfResearchers/view

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

You have no permission to see this content: profileOfResearchers/view

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

Links Úteis

Ajuda