loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Computer Communications and Networks (ICCCN '95)
A Formal Approach to Model SNMP Network Management Systems
Las Vegas, Nevada, USA
September 20-September 23
ISBN: 0-8186-7180-7
ASCII Text
x 
 
Jianxin Li, Benjamin J. Leon, "A Formal Approach to Model SNMP Network Management Systems," Computer Communications and Networks, International Conference on, pp. 0284, Fourth International Conference on Computer Communications and Networks (ICCCN '95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICCCN.1995.540131,
author = {Jianxin Li and Benjamin J. Leon},
title = {A Formal Approach to Model SNMP Network Management Systems},
journal ={Computer Communications and Networks, International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7180-7},
pages = {0284},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICCCN.1995.540131},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Communications and Networks, International Conference on
TI - A Formal Approach to Model SNMP Network Management Systems
SN - 0-8186-7180-7
SP
EP
A1 - Jianxin Li,
A1 - Benjamin J. Leon,
PY - 1995
KW - network management; SNMP; formal semantics; CCS
VL - 0
JA - Computer Communications and Networks, International Conference on
ER -
 
Jianxin Li, The University of Southwestern Louisiana
Benjamin J. Leon, The University of Southwestern Louisiana
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.
Index Terms:
network management; SNMP; formal semantics; CCS
Citation:
Jianxin Li, Benjamin J. Leon, "A Formal Approach to Model SNMP Network Management Systems," icccn, pp.0284, Fourth International Conference on Computer Communications and Networks (ICCCN '95), 1995
Usage of this product signifies your acceptance of the Terms of Use.