O problema da dedução do intruso para teorias AC-convergentes localmente estáveis

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013.

Bibliographic Details
Author: Nantes Sobrinho, Daniele
Format: doctoral thesis
Status:Published version
Publication Date:2013
Country:Brasil
Institution:Universidade de Brasília (UnB)
Repository:Repositório Institucional da UnB
Language:Portuguese
OAI Identifier:oai:repositorio.unb.br:10482/14781
Online Access:http://repositorio.unb.br/handle/10482/14781
Access Level:Open access
Keyword:Criptografia de dados (Computação)
Redes de computação - protocolos
Computadores - medidas de segurança
Description
Summary:Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013.