Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords
O PassCert vai criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.
