Formal verification of communication protocols for wireless networks

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/SLSS-7XGGPD

Type:	Tese de Doutorado
Title:	Formal verification of communication protocols for wireless networks
Authors:	Daniel Camara
First Advisor:	Antonio Alfredo Ferreira Loureiro
First Referee:	Claudionor Jose Nunes Coelho Junior
Second Referee:	Edleno Silva de Moura
Third Referee:	Raquel Aparecida de Freitas Mini
metadata.dc.contributor.referee4:	Sergio Vale Aguiar Campos
Abstract:	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.
Subject:	Computação
language:	Inglês
Publisher:	Universidade Federal de Minas Gerais
Publisher Initials:	UFMG
Rights:	Acesso Aberto
URI:	http://hdl.handle.net/1843/SLSS-7XGGPD
Issue Date:	22-Oct-2009
Appears in Collections:	Teses de Doutorado

Files in This Item:

File	Description	Size	Format
danielcamara.pdf		3.19 MB	Adobe PDF	View/Open