本书是学习简单网络管理协议的全面资料，给出SNMP各个版本的知识，同时涵盖各版本使用到的MIB；能使读者迅速全面掌握SNMP的关键知识点、理清SNMP各知识点之间的关系。全书详细介绍了SNMP的各个版本，包括SNMPv1、SNMPv2、SNMPv3、RMON和RMON2。按照SNMP的版本和知识结构，本书分为5部分，分别介绍SNMP的概述和使用到的相关技术，SNMPv1的协议、SMI、MIB，SNMPv2的协议、SMI、MIB，SNMPv3的管理框架、用户安全模型、视图访问控制以及RMON的行为和MIB、RMON的行为和MIB。 本书既有知识点的详细介绍，又给出实例的行为演示，适合网络管理员学习SNMP使用，也适合SNMP开发人员作为开发手册使用。

本书是学习简单网络管理协议的全面资料，给出SNMP各个版本的知识，同时涵盖各版本使用到的MIB；能使读者迅速全面掌握SNMP的关键知识点、理清SNMP各知识点之间的关系。全书详细介绍了SNMP的各个版本，包括SNMPv1、SNMPv2、SNMPv3、RMON和RMON2。按照SNMP的版本和知识结构，本书分为5部分，分别介绍SNMP的概述和使用到的相关技术，SNMPv1的协议、SMI、MIB，SNMPv2的协议、SMI、MIB，SNMPv3的管理框架、用户安全模型、视图访问控制以及RMON的行为和MIB、RMON的行为和MIB。本书既有知识点的详细介绍，又给出实例的行为演示，适合网络管理员学习SNMP使用，也适合SNMP开发人员作为开发手册使用。

计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程。本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；网络协议的分析验证工具；电子商务协议的形式化分析等。本书可作为计算机、通信、自动化等专业高年级本科生或研究生的教学用书，也可供相关领域的研究和工程技术人员参考。

本书是学习简单网络管理协议的全面资料，给出SNMP各个版本的知识，同时涵盖各版本使用到的MIB；能使读者迅速全面掌握SNMP的关键知识点、理清SNMP各知识点之间的关系。全书详细介绍了SNMP的各个版本，包括SNMPv1、SNMPv2、SNMPv3、RMON和RMON2。按照SNMP的版本和知识结构，本书分为5部分，分别介绍SNMP的概述和使用到的相关技术，SNMPv1的协议、SMI、MIB，SNMPv2的协议、SMI、MIB，SNMPv3的管理框架、用户安全模型、视图访问控制以及RMON的行为和MIB、RMON的行为和MIB。本书既有知识点的详细介绍，又给出实例的行为演示，适合网络管理员学习SNMP使用，也适合SNMP开发人员作为开发手册使用。

本书是学习简单网络管理协议的全面资料，给出SNMP各个版本的知识，同时涵盖各版本使用到的MIB；能使读者迅速全面掌握SNMP的关键知识点、理清SNMP各知识点之间的关系。全书详细介绍了SNMP的各个版本，包括SNMPv1、SNMPv2、SNMPv3、RMON和RMON2。按照SNMP的版本和知识结构，本书分为5部分，分别介绍SNMP的概述和使用到的相关技术，SNMPv1的协议、SMI、MIB，SNMPv2的协议、SMI、MIB，SNMPv3的管理框架、用户安全模型、视图访问控制以及RMON的行为和MIB、RMON的行为和MIB。本书既有知识点的详细介绍，又给出实例的行为演示，适合网络管理员学习SNMP使用，也适合SNMP开发人员作为开发手册使用。