Ferramentas de Verificação Formal de Protocolos Criptográficos
Autor: Inês Isabel Russo Prada
*Aguarde alguns segundos para o documento carregar, o tempo pode variar dependendo da sua conexão com a internet. Se preferir, você pode baixar o arquivo clicando no link abaixo.
Informação
Descrição: Ferramentas de Verificação Formal de Protocolos Criptográficos por Inês Isabel Russo Prada explora métodos de verificação formal em protocolos criptográficos, destacando ferramentas como AVISPA e ProVerif. A tese analisa o protocolo OpenID, oferecendo insights valiosos sobre a segurança em sistemas de autenticação.
Páginas: 83
Megabytes: 0.32 MB
Você pode estar interessado
Segurança da informação e comunicações
Extensão: PDF | 48 páginas
Segurança da informação e comunicações por Planalto y apresenta as melhores práticas em tecnologia da informação para servidores públicos. Explora conceitos essenciais de segurança, senhas, antivírus, redes sem fio, e muito mais, sendo um guia valioso para proteger dados e sistemas.
Trabalho de Criptografia
Extensão: PDF | 21 páginas
Trabalho de Criptografia por Ricardo Dahab. Este documento explora os fundamentos da criptografia, abordando desde o estabelecimento de chaves até assinaturas digitais. Essencial para quem busca entender a segurança da informação em redes e sistemas.
Segurança em Redes de Computadores (Apresentação)
Extensão: PDF | 100 páginas
Segurança em Redes de Computadores (Apresentação) por Kelvin Lopes Dias e Diego dos Passos Silva apresenta uma visão geral sobre criptografia e segurança de redes. Este material aborda desde conceitos básicos até protocolos de segurança na Internet, ideal para quem busca uma introdução concisa ao tema.
