Especificação formal do SNMPv3 usando semântica de ações

Detalhes bibliográficos
Autor(a) principal: Furlan, Diógenes Cogo
Data de Publicação: 2000
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/24723
Resumo: Orientador: Martin A. Musicante
id UFPR_dabce9b3df7e8c19c69762e385d871a6
oai_identifier_str oai:acervodigital.ufpr.br:1884/24723
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Duarte Junior, Elias Procópio, 1966-Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaMusicante, Martin AlejandroFurlan, Diógenes Cogo2024-03-21T12:07:25Z2024-03-21T12:07:25Z2000https://hdl.handle.net/1884/24723Orientador: Martin A. MusicanteCoorientador: Elias P. Duarte JrDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em InformáticaResumo: Semântica de Ações é um formalismo utilizado par a prover descrições legíveis de linguagens de programação, devido sua estrutura modular e sua notação formal baseada em termos da língua inglesa. Simple Network Management, Protocol (SNMP) é o sistema de gerência de redes padrão da Internet, estando especificada sua terceira versão (SNMPv-3). Este trabalho consiste na leitura e interpretação dos documentos que definem informalmente o SNMPv3, e na sua definição formal em semântica de ações. Esta especificação tem a finalidade de melhora r a comunicação entre seres humanos (definindo de forma não ambígua a semântica da entidade e dos objetos de gerência de redes), possibilitar a verificação de implementações já existentes e possibilitar a geração de implementações automática s de sistemas de gerência de redes. A especificação formal do SNMP usando semântica de ações consiste em especificar as operações do protocolo, os componentes da entidade SNM P (incluindo o Despachante e as aplicações padrão) e fornecer suporte par a futura s especificações formais de informações de gerência. A especificação das operações SNMP contêm as ações que correspondem aos procedimentos seguidos quando se gera e envia uma operação de gerência ou quando se processa sua resposta. A especificação do Despachante SNMP é formada por ações que correspondem aos procedimentos seguidos no envio de mensagens de requisição e de resposta para outras entidades, e na recepção de mensagens de requisição e de resposta vindas de outra s entidades. A especificação das aplicações padrão do SNMP contém as ações representando os procedimentos seguidos para gerar e enviar ou receber e processar operações SNMP. A especificação de unia entidade SNM P é formada por ações correspondentes aos módulos de uma entidade SNMP, par a compor entidades atuando como gerente SNMP (responsáveis por controlar e monitora r objetos de gerência) ou como agente SNMP (responsáveis por mante r objetos de gerência). Neste trabalho é apresentada, também, unia análise crítica da especificação informal do SNMP, e a identificação de um conjunto de características problemáticas da mesma.Abstract: Action semantics is a framework to allow useful semantic descriptions of realistic programing Ianguages. The Simple Network Management, Protocol version 3 (SNMPv3) is the Internet standard management architecture. This work presents a formal description of SNMPv3 using action semantics. The main goals of this description are to contribute to the accurate understanding of SNMP entities, to allow the verification of existent SNMP implementations, as well as to set the basis for the automatic generation of SNMP implementations. The formal specification of SNMP using action semantics consists in the specification of the protocol operations, the entity module s (including the dispatcher and the standard applications) and sets the basis for future specifications of management information. The formal specification of SNM P operations contains actions to generate and send a requisition and actions to process its response. The formal specification of the SNMP dispatcher is composed by actions to send requisitions and response messages to other entities, as well as actions to receive the messages coining from other entities. The formal specification of SNMP standard applications consists in actions to generate and send or actions to receive and process SNMP operations. The formal specification of SNMP entity is composed by actions that represents the several modules of an entity, to generate managers (responsible to control and monitoring management objects) or agents (responsible to store management objects). Other result of this work is a critical analysis of the SNMP informal specification, concluding in the identification of a number problematic items in it.126 f. ; 30 cm.application/pdfDisponível em formato digitalRede de computador - ProtocolosRedes de computação - GerenciaRedes locais de computaçãoCiência da ComputaçãoEspecificação formal do SNMPv3 usando semântica de açõesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - FURLAN, DIOGENES COGO.pdfapplication/pdf3496182https://acervodigital.ufpr.br/bitstream/1884/24723/1/D%20-%20FURLAN%2c%20DIOGENES%20COGO.pdf1dc6eba8d95205f506f4c61fa724680bMD51open accessTEXTD - FURLAN, DIOGENES COGO.pdf.txtExtracted Texttext/plain257716https://acervodigital.ufpr.br/bitstream/1884/24723/2/D%20-%20FURLAN%2c%20DIOGENES%20COGO.pdf.txt089c50f9695cbf9900c103b76e543488MD52open accessTHUMBNAILD - FURLAN, DIOGENES COGO.pdf.jpgGenerated Thumbnailimage/jpeg1223https://acervodigital.ufpr.br/bitstream/1884/24723/3/D%20-%20FURLAN%2c%20DIOGENES%20COGO.pdf.jpgb89f97dd2483909cea6a26999e13ddacMD53open access1884/247232024-03-21 09:07:25.299open accessoai:acervodigital.ufpr.br:1884/24723Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-03-21T12:07:25Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Especificação formal do SNMPv3 usando semântica de ações
title Especificação formal do SNMPv3 usando semântica de ações
spellingShingle Especificação formal do SNMPv3 usando semântica de ações
Furlan, Diógenes Cogo
Rede de computador - Protocolos
Redes de computação - Gerencia
Redes locais de computação
Ciência da Computação
title_short Especificação formal do SNMPv3 usando semântica de ações
title_full Especificação formal do SNMPv3 usando semântica de ações
title_fullStr Especificação formal do SNMPv3 usando semântica de ações
title_full_unstemmed Especificação formal do SNMPv3 usando semântica de ações
title_sort Especificação formal do SNMPv3 usando semântica de ações
author Furlan, Diógenes Cogo
author_facet Furlan, Diógenes Cogo
author_role author
dc.contributor.other.pt_BR.fl_str_mv Duarte Junior, Elias Procópio, 1966-
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Musicante, Martin Alejandro
dc.contributor.author.fl_str_mv Furlan, Diógenes Cogo
contributor_str_mv Musicante, Martin Alejandro
dc.subject.por.fl_str_mv Rede de computador - Protocolos
Redes de computação - Gerencia
Redes locais de computação
Ciência da Computação
topic Rede de computador - Protocolos
Redes de computação - Gerencia
Redes locais de computação
Ciência da Computação
description Orientador: Martin A. Musicante
publishDate 2000
dc.date.issued.fl_str_mv 2000
dc.date.accessioned.fl_str_mv 2024-03-21T12:07:25Z
dc.date.available.fl_str_mv 2024-03-21T12:07:25Z
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/1884/24723
url https://hdl.handle.net/1884/24723
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 126 f. ; 30 cm.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24723/1/D%20-%20FURLAN%2c%20DIOGENES%20COGO.pdf
https://acervodigital.ufpr.br/bitstream/1884/24723/2/D%20-%20FURLAN%2c%20DIOGENES%20COGO.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24723/3/D%20-%20FURLAN%2c%20DIOGENES%20COGO.pdf.jpg
bitstream.checksum.fl_str_mv 1dc6eba8d95205f506f4c61fa724680b
089c50f9695cbf9900c103b76e543488
b89f97dd2483909cea6a26999e13ddac
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860652684279808

Registros relacionados