Formal verification of communication protocols for wireless networks

Daniel Camara

Use este identificador para citar o ir al link de este elemento: 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
primer Tutor:	Antonio Alfredo Ferreira Loureiro
primer miembro del tribunal :	Claudionor Jose Nunes Coelho Junior
Segundo miembro del tribunal:	Edleno Silva de Moura
Tercer miembro del tribunal:	Raquel Aparecida de Freitas Mini
Cuarto miembro del tribunal:	Sergio Vale Aguiar Campos
Resumen:	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.
Asunto:	Computação
Idioma:	Inglês
Editor:	Universidade Federal de Minas Gerais
Sigla da Institución:	UFMG
Tipo de acceso:	Acesso Aberto
URI:	http://hdl.handle.net/1843/SLSS-7XGGPD
Fecha del documento:	22-oct-2009
Aparece en las colecciones:	Teses de Doutorado

archivos asociados a este elemento:

archivo	Descripción	Tamaño	Formato
danielcamara.pdf		3.19 MB	Adobe PDF	Visualizar/Abrir

Mostrar registro completo del elemento Visualizar estadísticas