Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc

Detalhes bibliográficos
Ano de defesa: 2003
Autor(a) principal: Claudemberg Ferreira dos Santos
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Ciência da computação
Link de acesso: https://hdl.handle.net/1843/BUBD-9KJM3Y
Resumo: A mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are not formally vtheerirfeiedaraensde,vtehrearlepfororeto, citoliss npoutblpisohsesidblientothgeulairtearnatetuerethefoirr correctness.This dissertation presents a novel methodology for verifying routing protocols for MANETs. The soluting proposed is applied to three well-known protocols fLARl, LAR2 and DREAM). As result, we were able to identify previous known errors published in the literature, new ones and restrictions not mentioned in the original papers for all three protocols.
id UFMG_f10cc0fe2a27ff2a74200df6d3cfb6c8
oai_identifier_str oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad HocRedes de computadores ProtocolosComputação móvelSistemas de comunicação móvelComputaçãoRedes de computadoresSistemas de computação sem fioCiência da computaçãoA mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are not formally vtheerirfeiedaraensde,vtehrearlepfororeto, citoliss npoutblpisohsesidblientothgeulairtearnatetuerethefoirr correctness.This dissertation presents a novel methodology for verifying routing protocols for MANETs. The soluting proposed is applied to three well-known protocols fLARl, LAR2 and DREAM). As result, we were able to identify previous known errors published in the literature, new ones and restrictions not mentioned in the original papers for all three protocols.Universidade Federal de Minas Gerais2019-08-12T14:46:11Z2025-09-08T23:08:46Z2019-08-12T14:46:11Z2003-11-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1843/BUBD-9KJM3YClaudemberg Ferreira dos Santosinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMG2025-09-08T23:08:46Zoai:repositorio.ufmg.br:1843/BUBD-9KJM3YRepositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2025-09-08T23:08:46Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.fl_str_mv Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
spellingShingle Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
Claudemberg Ferreira dos Santos
Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Ciência da computação
title_short Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_full Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_fullStr Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_full_unstemmed Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_sort Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
author Claudemberg Ferreira dos Santos
author_facet Claudemberg Ferreira dos Santos
author_role author
dc.contributor.author.fl_str_mv Claudemberg Ferreira dos Santos
dc.subject.por.fl_str_mv Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Ciência da computação
topic Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Ciência da computação
description A mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are not formally vtheerirfeiedaraensde,vtehrearlepfororeto, citoliss npoutblpisohsesidblientothgeulairtearnatetuerethefoirr correctness.This dissertation presents a novel methodology for verifying routing protocols for MANETs. The soluting proposed is applied to three well-known protocols fLARl, LAR2 and DREAM). As result, we were able to identify previous known errors published in the literature, new ones and restrictions not mentioned in the original papers for all three protocols.
publishDate 2003
dc.date.none.fl_str_mv 2003-11-07
2019-08-12T14:46:11Z
2019-08-12T14:46:11Z
2025-09-08T23:08:46Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1843/BUBD-9KJM3Y
url https://hdl.handle.net/1843/BUBD-9KJM3Y
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv repositorio@ufmg.br
_version_ 1856414079603703808

Registros relacionados