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.

Detalles Bibliográficos
Autor: Nantes Sobrinho, Daniele
Tipo de recurso: tesis de maestría
Estado:Versión publicada
Fecha de publicación:2009
País:Brasil
Institución:Universidade de Brasília (UnB)
Repositorio:Repositório Institucional da UnB
Idioma:portugués
OAI Identifier:oai:repositorio.unb.br:10482/4605
Acceso en línea:http://repositorio.unb.br/handle/10482/4605
Access Level:acceso abierto
Palabra clave:Redes de computação - protocolos
Criptografia de dados (Computação)
Computadores - medidas de segurança
Matemática aplicada
Descripción
Sumario:Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009.