loading...
A Formal Approach to Model SNMP Network Management Systems
Las Vegas, Nevada, USA September 20-September 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICCCN.1995.540131Fourth International Conference on Co ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.