|
Abstract:
|
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. |
