Uma análise de protocolos de roteamento anônimo para redes sem fio ad hoc móveis

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação === Made available in DSpace on 2012-10-23T08:44:45Z (GMT). No. of bitstreams: 1 244894.pdf: 842171 bytes, checksum: 7257c4948eef607fff0f6d0fe89f5648 (MD5) === Rede...

Full description

Bibliographic Details
Main Author: Tamashiro, Clytia Higa
Other Authors: Universidade Federal de Santa Catarina
Format: Others
Language:Portuguese
Published: Florianópolis, SC 2012
Subjects:
Online Access:http://repositorio.ufsc.br/xmlui/handle/123456789/90334
Description
Summary:Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação === Made available in DSpace on 2012-10-23T08:44:45Z (GMT). No. of bitstreams: 1 244894.pdf: 842171 bytes, checksum: 7257c4948eef607fff0f6d0fe89f5648 (MD5) === Redes sem fio ad hoc móveis são mais vulneráveis a ataques passivos, como monitoramento e análise de tráfego, do que redes estruturadas, principalmente, devido a características como ausência de infra-estrutura fixa e meio sem fio compartilhado. A fim de garantir a privacidade dos nós e tentar impedir a revelação de informações relevantes através de pacotes de roteamento, protocolos de roteamento anônimo foram propostos. Porém, a maioria das pesquisas tem como enfoque a análise dos desempenhos, analisa as propostas com base em diferentes propriedades e definições de anonimato, e não as especifica formalmente. Assim, esta dissertação tem como objetivo indicar, com base em uma única definição, o protocolo de roteamento anônimo proposto para redes sem fio ad hoc móveis mais seguro quanto a anonimato e verificá-lo formalmente. Nove protocolos, ANODR, SDAR, ASR, ANDSR, MASK, ASRP, AnonDSR, CARP e ODAR, são analisados detalhadamente e comparados em relação à vulnerabilidade a ataques de análise de tráfego e garantia de propriedades como anonimato da identidade, do venue e da rota, e privacidade da localização e do padrão de movimento. Os resultados da análise indicam que nenhum protocolo provê todas as propriedades de anonimato desejadas e que o protocolo ANODR é o mais seguro. Este é especificado em LOTOS e sua verificação formal demonstra que funciona corretamente e que não garante anonimato da identidade do destino e do venue da origem em relação a todos os nós, porém modificações simples podem melhorar sua segurança.