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

Veuillez utiliser cette adresse pour citer ce document : http://repositorio.unb.br/handle/10482/4605

Fichier(s) constituant ce document :

Fichier	Description	Taille	Format
2009_DanieleNantesSobrinho.pdf		440,53 kB	Adobe PDF	Voir/Ouvrir

Titre:	O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Auteur(s):	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
Date de publication:	2009
Data de defesa::	2009
Référence bibliographique:	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)
Description:	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
Collection(s) :	Teses, dissertações e produtos pós-doutorado