A Formal Approach to Model SNMP Network Management Systems

Authors:
Affiliations:
Venue:
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Year:
1995

Citing 7
Cited 0

The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
SNMP, SNMPv2, and CMIP: the practical guide to network management

SNMP, SNMPv2, and CMIP: the practical guide to network management
Managing internetworks with SNMP: the definitive guide to the Simple Network Management Protocol (SNMP) and SNMP version 2

Managing internetworks with SNMP: the definitive guide to the Simple Network Management Protocol (SNMP) and SNMP version 2
Communication and Concurrency

Communication and Concurrency
Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theory of Computation
Specification and verification of real time systems in ACP

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Algebraic descriptions of mobile networks: An example

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X

Quantified Score

Hi-index	0.00

Visualization

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.