não tenho trabalho

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS­GRADUAÇÃO EM COMPUTAÇÃO

ANDRÉ LUÍS FÁVERO

Metodologia para Detecção de Incoerências entre Regras em Filtros de Pacotes

Dissertação apresentada como requisito parcial para a obtenção do grau de Mestre em Ciência da Computação

Prof. Dr. Raul Fernando Weber
Orientador

Porto Alegre, janeiro de 2007.

CIP – CATALOGAÇÃO NA PUBLICAÇÃO

Fávero, André Luís
Metodologia para Detecção de Incoerências entre Regras em
Filtros de Pacotes / André Luís Fávero – Porto Alegre: Programa de
Pós­Graduação em Computação, 2007.
87 f.:il.
Dissertação (mestrado) – Universidade Federal do Rio Grande do
Sul. Programa de Pós­Graduação em Computação. Porto Alegre,
BR – RS, 2007. Orientador: Dr. Raul Fernando Weber.
1. Firewall. 2. Filtro de pacotes. 3. Incoerências em regras. 4.
Segurança da informação. I. Weber, Raul Fernando. II. Título.

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL
Reitor: Prof. José Carlos Ferraz Hennemann
Vice­Reitor: Prof. Pedro Cezar Dutra Fonseca
Pró­Reitora de Pós­Graduação: Profa. Valquíria Linck Bassani
Diretor do Instituto de Informática: Prof. Flávio Rech Wagner
Coordenadora do PPGC: Profa. Luciana Porcher Nedel
Bibliotecária­Chefe do Instituto de Informática: Beatriz Regina Bastos Haro

AGRADECIMENTOS

Agradeço àquelas pessoas que me ajudaram durante o período de pesquisa e construção deste trabalho. Especialmente a minha amada Melissa, a pequena mascote
Bianca, meus queridos pais, aos amigos sentinelas Serafim e Peres pelas idéias e apoio e ao meu orientador professor Raul Weber.

SUMÁRIO

LISTA DE ABREVIATURAS E SIGLAS.............................................................6 LISTA DE FIGURAS...................................................................................... .....7
.
LISTA DE