Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/1843/SLSS-7XGGPD
Tipo: | Tese de Doutorado |
Título: | Formal verification of communication protocols for wireless networks |
Autor(es): | Daniel Camara |
Primeiro Orientador: | Antonio Alfredo Ferreira Loureiro |
Primeiro membro da banca : | Claudionor Jose Nunes Coelho Junior |
Segundo membro da banca: | Edleno Silva de Moura |
Terceiro membro da banca: | Raquel Aparecida de Freitas Mini |
Quarto membro da banca: | Sergio Vale Aguiar Campos |
Resumo: | Redes de comunicação sem fio se tornaram nos últimos anos uma constante na vida de um número crescente de pessoas. Em um circulo virtuoso, novos e ainda mais ofisticados protocolos são projetados a cada dia, aumentando o número de ferramentas disponíveis, o que atrai ainda mais usuários. Contudo novas ferramentas são necessárias para ajudar os designers no seu trabalho de desenvolvimento de novos e melhores softwares e protocolos para este tipo de rede. Ferramentas tradicionais, projetadas para ambientes distribuídos tradicionais não necessariamente funcionam no contexto de redes sem fio. Esta tese apresenta um novo e simples método para ajudar os desenvolvedores na tarefa de criar protocolos para redes sem fio ad hoc baseado em Verificação formal de software. Esta técnica apresenta uma série de vantagens para quem visa criar protocolos de comunicação confiáveis e seguros. |
Assunto: | Computação |
Idioma: | Inglês |
Editor: | Universidade Federal de Minas Gerais |
Sigla da Instituição: | UFMG |
Tipo de Acesso: | Acesso Aberto |
URI: | http://hdl.handle.net/1843/SLSS-7XGGPD |
Data do documento: | 22-Out-2009 |
Aparece nas coleções: | Teses de Doutorado |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
danielcamara.pdf | 3.19 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.