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
    José Bacelar Almeida

    Investigador Sénior

    ViewClose Alphabet
    • a
    • b
    • c
    • d
    • e
    • f
    • g
    • h
    • i
    • j
    • k
    • l
    • m
    • n
    • o
    • p
    • q
    • r
    • s
    • t
    • u
    • v
    • w
    • x
    • y
    • z
    001

    Centros Associados

    HASLab

    Centro

    Laboratório de Software Confiável