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

Please use this identifier to cite or link to this item: http://repositorio.unb.br/handle/10482/4605

Files in This Item:

File	Description	Size	Format
2009_DanieleNantesSobrinho.pdf		440,53 kB	Adobe PDF	View/Open

Title:	O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Authors:	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
Issue Date:	2009
Data de defesa::	2009
Citation:	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
Appears in Collections:	Teses, dissertações e produtos pós-doutorado