Formal verification of communication protocols for wireless networks

Página do item simplificado
dc.creatorDaniel Camara
dc.date.accessioned2019-08-12T21:16:21Z
dc.date.accessioned2025-09-09T01:15:47Z
dc.date.available2019-08-12T21:16:21Z
dc.date.issued2009-10-22
dc.identifier.urihttps://hdl.handle.net/1843/SLSS-7XGGPD
dc.languageInglês
dc.publisherUniversidade Federal de Minas Gerais
dc.rightsAcesso Aberto
dc.subjectComputação
dc.subject.otherCiência da Computação
dc.titleFormal verification of communication protocols for wireless networks
dc.typeTese de doutorado
local.contributor.advisor1Antonio Alfredo Ferreira Loureiro
local.contributor.referee1Claudionor Jose Nunes Coelho Junior
local.contributor.referee1Edleno Silva de Moura
local.contributor.referee1Raquel Aparecida de Freitas Mini
local.contributor.referee1Sergio Vale Aguiar Campos
local.description.resumoRedes 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.
local.publisher.initialsUFMG

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
danielcamara.pdf
Tamanho:
3.12 MB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Pós-Graduação em Ciência da Computação - Teses

Logo UFMG