O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC

Por favor, use este identificador para citar o enlazar este ítem: http://repositorio.unb.br/handle/10482/4605

Ficheros en este ítem:

Fichero	Descripción	Tamaño	Formato
2009_DanieleNantesSobrinho.pdf		440,53 kB	Adobe PDF	Visualizar/Abrir

Título :	O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Autor :	Nantes Sobrinho, Daniele
Orientador(es)::	Ayala-Rincón, Mauricio
Assunto::	Redes de computação - protocolos Criptografia de dados (Computação) Computadores - medidas de segurança Matemática aplicada
Fecha de publicación :	2009
Data de defesa::	2009
Citación :	NANTES SOBRINHO, Daniele. O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC. 2009. 94 f. Dissertação (Mestrado em Matemática)-Universidade de Brasília, Brasília, 2009.
metadata.dc.description.unidade:	Instituto de Ciências Exatas (IE) Departamento de Matemática (IE MAT)
Descripción :	Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009.
metadata.dc.description.ppg:	Programa de Pós-Graduação em Matemática
Aparece en las colecciones:	Teses, dissertações e produtos pós-doutorado