Dissertação
On Usable Security and Verified Password Managers EVALUATED
Os gestores de passwords (PMs) são ferramentas úteis para gerir passwords, no entanto não são amplamente utilizados. Estudos indicam problemas de usabilidade e falta de confiança como barreiras à sua adopção. Como tal, propomos a extensão de um PM existente, implementando as práticas de usabilidade relevantes e aumentando a transparência educando os utilizadores sobre a forma como os PMs funcionam. Este projecto faz parte do projecto de investigação PassCert, que visa a construção de um PM formalmente verificado. Outro objectivo é explorar formas de transmitir informação aos utilizadores sobre verificação formal. Realizámos estudos de utilizadores que sugerem que a nossa solução melhora a usabilidade do PM e conseguimos transmitir informações relevantes sobre as suas funcionalidade formalmente verificadas. Contribuímos com o primeiro estudo sobre a percepção dos utilizadores da verificação formal em PMs e esperamos que as nossas conclusões possam ajudar a comunidade de verificação formal a comunicar melhor com os utilizadores.
novembro 19, 2021, 13:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
João Fernando Peixoto Ferreira
Departamento de Engenharia Informática (DEI)
Professor Auxiliar
