Implementação certificada da componente criptográfica do gestor de passwords KeePass

Detalhes bibliográficos
Autor(a) principal: Freitas, Pedro Miguel Marques
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/80733
Resumo: Dissertação de mestrado integrado em Engenharia Informática
id RCAP_946f40db4cc4b79f9a7fcf8546e8411c
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/80733
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Implementação certificada da componente criptográfica do gestor de passwords KeePassGestor de passwordsCriptografiaKeePassJasminEasyCryptPassword managersCryptographyEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado integrado em Engenharia InformáticaCom a enorme quantidade de aplicações e sistemas web que nos são apresentados existe uma constante preocupação com a nossa segurança e privacidade como utilizadores dos mesmos. Todos nós temos o direito à privacidade dos nossos dados e quando fazemos um registo num novo produto de software queremos acreditar que estaremos protegidos de ataques alheios e que, a não ser que a nossa password seja descoberta, nenhuma informação nossa vai ser vazada. Para tal também nos é exigido, consumidores de tecnologia e aplicações, que tomemos uma atitude no sentido de nos protegermos. Uma dessas formas é usar passwords seguras e diferentes para cada conta criada. Como isto facilmente se toma impraticável devido à enorme quantidade de contas e, consequentemente passwords que é necessário decorar, surgiram os Gestores de Passwords. Estes servem para guardar as nossas passwords de forma segura e confiável para que sempre que precisemos de uma password a irmos buscar de forma simples e rápida. Assim este projecto visa re-implementar a componente criptográfica do gestor de passwords KeePass de forma a garantir os mais altos níveis de confiabilidade e segurança. Para isso, dever-se-á tirar partido das soluções tecnológicas mais recentes para assegurar os referidos níveis de confiabilidade e segurança, como sejam o uso de linguagens de domínio específico para codificação de técnicas criptográficas e sistemas de provas que possam assegurar a respectiva correcção. Para o efeito fazer-se-á uso da linguagem Jasmin e do sistema de provas Easycrypt.With the huge amount of applications and web systems that are presented to us there is a constant concern about our security and privacy as users of them. We all have the right to the privacy of our data and when we register for a new software product we want to believe that we will be protected from outside attacks and that unless our password is discovered, no information about us will be leaked. This also requires us, consumers of technology and applications, to take action to protect ourselves. One of these ways is to use secure and different passwords for each account created. As this easily becomes impractical due to the huge amount of accounts and consequently passwords that need to be memorized, the Passwords Managers appeared. These serve to store our passwords safely and reliably so that whenever we need a password we get it in a simple and fast way. So this project aims to re-implement the cryptographic component of KeePass Passwords Manager in order to ensure the highest levels of reliability and security. To this end, the latest technological solutions should be used to ensure these levels of reliability and security, such as the use of domain-specific languages for coding cryptographic techniques and security proof system that can ensure their correctness. For this purpose will be used the Jasmin language and Easycrypt as security proof system.This work was partially funded by the PassCert project, a CMU Portugal Exploratory Project funded by Fundação para a Ciência e Tecnologia (FCT), with reference CMU/TIC/0061/2019.Almeida, José BacelarUniversidade do MinhoFreitas, Pedro Miguel Marques2022-04-262022-04-26T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/80733por203024133info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:23:39Zoai:repositorium.sdum.uminho.pt:1822/80733Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:17:27.633375Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Implementação certificada da componente criptográfica do gestor de passwords KeePass
title Implementação certificada da componente criptográfica do gestor de passwords KeePass
spellingShingle Implementação certificada da componente criptográfica do gestor de passwords KeePass
Freitas, Pedro Miguel Marques
Gestor de passwords
Criptografia
KeePass
Jasmin
EasyCrypt
Password managers
Cryptography
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Implementação certificada da componente criptográfica do gestor de passwords KeePass
title_full Implementação certificada da componente criptográfica do gestor de passwords KeePass
title_fullStr Implementação certificada da componente criptográfica do gestor de passwords KeePass
title_full_unstemmed Implementação certificada da componente criptográfica do gestor de passwords KeePass
title_sort Implementação certificada da componente criptográfica do gestor de passwords KeePass
author Freitas, Pedro Miguel Marques
author_facet Freitas, Pedro Miguel Marques
author_role author
dc.contributor.none.fl_str_mv Almeida, José Bacelar
Universidade do Minho
dc.contributor.author.fl_str_mv Freitas, Pedro Miguel Marques
dc.subject.por.fl_str_mv Gestor de passwords
Criptografia
KeePass
Jasmin
EasyCrypt
Password managers
Cryptography
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Gestor de passwords
Criptografia
KeePass
Jasmin
EasyCrypt
Password managers
Cryptography
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado integrado em Engenharia Informática
publishDate 2022
dc.date.none.fl_str_mv 2022-04-26
2022-04-26T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/80733
url https://hdl.handle.net/1822/80733
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 203024133
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132626431246336

Registros relacionados