A Formal Approach to Model SNMP Network Management Systems

Fourth International Conference on Computer Communications and Networks (ICCCN '95) p. 0284
A Formal Approach to Model SNMP Network Management Systems
Jianxin Li, The University of Southwestern Louisiana
Benjamin J. Leon, The University of Southwestern Louisiana

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICCCN.1995.540131
Send link to a friend

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.
Back to Top Additional Information
Index Terms- network management; SNMP; formal semantics; CCS Citation: Jianxin Li, Benjamin J. Leon, "A Formal Approach to Model SNMP Network Management Systems," icccn, p. 0284, Fourth International Conference on Computer Communications and Networks (ICCCN '95), 1995

	Advanced Search
CS Search Google Search