O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009.
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2009 |
| País: | Brasil |
| Recursos: | Universidade de Brasília (UnB) |
| Repositorio: | Repositório Institucional da UnB |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.unb.br:10482/4605 |
| Acesso em linha: | http://repositorio.unb.br/handle/10482/4605 |
| Access Level: | acceso abierto |
| Palavra-chave: | Redes de computação - protocolos Criptografia de dados (Computação) Computadores - medidas de segurança Matemática aplicada |
| Resumo: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. |
|---|