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

Abstract

Resumo: 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.