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

fYear

1995

fDate

20-23 Sep 1995

Firstpage

284

Lastpage

287

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Communications and Networks, 1995. Proceedings., Fourth International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

0-8186-7180-7

Type

conf

DOI

10.1109/ICCCN.1995.540131

Filename

540131