A Formal Approach to Model SNMP Network Management Systems

jianxin li,benjamin j leon
DOI: https://doi.org/10.1109/ICCCN.1995.540131
1995-01-01
Abstract:The Simple Network Management Protocol (SNMP) is currently the dominant network management standard for the TCP/IP networking environment. Fundamental to SNMP is the management information base (MIB). The heart of SNMP is the protocol. In this paper, we propose an approach to formalize our understanding of SNMP. We will prove that MIB with lexicographic order is a well- founded set. We will also provide formal semantics for protocol operations by derivation.
What problem does this paper attempt to address?