Título:	O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
Autor(es):	Nantes Sobrinho, Daniele
Orientador(es):	Ayala-Rincón, Mauricio
Coorientador(es):	Fernández, Maribel
Assunto:	Criptografia de dados (Computação) Redes de computação - protocolos Computadores - medidas de segurança
Data de publicação:	9-Dez-2013
Data de defesa:	6-Set-2013
Referência:	NANTES SOBRINHO, Daniele. O problema da dedução do intruso para teorias AC-convergentes localmente estáveis. 2013. 101 f. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2013.
Informações adicionais:	Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013.
Programa de pós-graduação:	Programa de Pós-Graduação em Informática
Licença:	A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.
Aparece nas coleções:	Teses, dissertações e produtos pós-doutorado

Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.