ANÁLISE FORMAL DE PROTOCOLOS DE AUTENTICAÇÃO PARA REDES CELULARES

MINISTÉRIO DA DEFESA
EXÉRCITO BRASILEIRO
SECRETARIA DE CIÊNCIA E TECNOLOGIA
INSTITUTO MILITAR DE ENGENHARIA
CURSO DE MESTRADO EM SISTEMAS E COMPUTAÇÃO

MYRNA CECÍLIA MARTINS DOS SANTOS

ANÁLISE FORMAL DE PROTOCOLOS DE AUTENTICAÇÃO
PARA REDES CELULARES

Rio de Janeiro
2002

INSTITUTO MILITAR DE ENGENHARIA

MYRNA CECÍLIA MARTINS DOS SANTOS

ANÁLISE FORMAL DE PROTOCOLOS DE AUTENTICAÇÃO
PARA REDES CELULARES

Dissertação de Mestrado apresentada ao Curso de
Mestrado em Sistemas e Computação do Instituto
Militar de Engenharia, como requisito parcial para a obtenção do título de Mestre em Ciências em Sistemas e Computação.
Orientador: José Ferreira de Rezende – D.C.
Co-orientador: José Antônio Moreira Xexéo – D.C.

Rio de Janeiro
2002

INSTITUTO MILITAR DE ENGENHARIA
Praça General Tibúrcio, 80 – Praia Vermelha
Rio de Janeiro – RJ

CEP: 22290-270

Este exemplar é de propriedade do Instituto Militar de Engenharia, que poderá incluílo em Base de dados, armazenar em computador, microfilmar ou adotar qualquer outra forma de arquivamento.

É permitida a menção, reprodução parcial ou integral e a transmissão entre bibliotecas deste trabalho, sem modificação de seu texto, em qualquer meio que esteja ou venha a ser fixado, para pesquisa acadêmica, comentários e citações, desde que sem finalidade comercial e que seja feita a referência bibliográfica completa. Os conceitos expressos neste trabalho são responsabilidade do Autor e do
Orientador.

S231

Santos, Myrna Cecília Martins dos.
Análise formal de protocolos de autenticação para redes celulares / Myrna Cecília Martins dos Santos. -- Rio de
Janeiro : Instituto Militar de Engenharia, 2002.
127 p. : il.,tab.
Dissertação (mestrado) – Instituto Militar de Engenharia
– Rio de Janeiro, 2002.
1. Criptografia. 2. Análise de Protocolos. 3. Redes
Celulares. I. Instituto Militar de Engenharia. II. Título.
CDD 004.62

2

INSTITUTO MILITAR DE ENGENHARIA

MYRNA CECÍLIA