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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/90334 |
| Date | January 2007 |
| Creators | Tamashiro, Clytia Higa |
| Contributors | Universidade Federal de Santa Catarina, Sobral, João Bosco Mangueira |
| Publisher | Florianópolis, SC |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | xv, 129 f.| tabs. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0015 seconds