Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Descrição

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.

Detalhes

Mais Informação

  • Acrónimo

    PassCert
  • Início

    01 fevereiro 2021
  • Orçamento global

    69.994,00 €
  • Estado

    Completo
  • Data de encerramento

    30 junho 2022
  • Fim

    30 junho 2022
  • Responsável

    José Bacelar Almeida
  • Financiamento

    28.550,00 €
  • Financiado por

Equipa
001

Centros Associados

HASLab

Centro

Laboratório de Software Confiável