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.
Ficha do documento
Título: Ferramentas de Verificação Formal de Protocolos Criptográficos
Autor: Inês Isabel Russo Prada
Páginas: 83
Tamanho do arquivo: 0.32 MB
Formato: PDF
Você pode estar interessado
Segurança da informação e comunicações
Autor: Planalto
Páginas: 48
Tamanho do arquivo: 1.31 MB
Formato: PDF
Trabalho de Criptografia
Autor: Ricardo Dahab
Páginas: 21
Tamanho do arquivo: 0.06 MB
Formato: PDF
Segurança em Redes de Computadores (Apresentação)
Autor: Kelvin Lopes Dias e Diego dos Passos Silva
Páginas: 100
Tamanho do arquivo: 1.29 MB
Formato: PDF
