Formal specification of SNMPv3 entities using action semantics

摘要

This work presents a formal description of the structure and behaviour of SNMPv3 entities. IETF documents describe the semantics of the Simple Network Management Protocol version 3 in an almost completely informal way. Our formal description is given using action semantics, a completely formal yet verbose framework for the specification of programming concepts. The purpose of our description is to specify management entities without ambiguities, contributing to a better understanding of the NMPv3 framework that may lead to automatic implementation and verification of agents and manager applications.