Title :
A formal approach to model SNMP network management systems
Author :
Li, Jianxin ; Leon, Benjamin J.
Author_Institution :
Center for Adv. Comput. Studies, Univ. of Southwestern Louisiana, Lafayette, LA, USA
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 prove that MIB with lexicographic order is a well-founded set. We also provide formal semantics for protocol operations by derivation
Keywords :
Internet; computer network management; formal specification; network operating systems; telecommunication standards; transport protocols; MIB; SNMP network management systems; TCP/IP networking environment; formal approach; formal semantics; lexicographic order; management information base; network management standard; protocol operations; simple network management protocol; Books; Calculus; Carbon capture and storage; Computer network management; Computer networks; Databases; Environmental management; Information management; Logic; Protocols;
Conference_Titel :
Computer Communications and Networks, 1995. Proceedings., Fourth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-8186-7180-7
DOI :
10.1109/ICCCN.1995.540131
