基于NSIS的网络管理信令协议的设计及验证

摘要

提出了一种基于信令机制的可扩展NSIS网络管理协议,定义了NSIS网络管理协议的服务原语及数据单元,以实现协议的主要通信过程及管理操作流程.利用Petri网对协议进行了形式化描述,并对协议的逻辑正确性和性能进行了验证分析.利用NS-2对整个协议进行了仿真.相关验证及仿真结果表明,基于NSIS的网络管理协议兼备IP的灵活性和信令的高效性,保障了管理信息的安全、可靠传输,能够满足基于IP承载的新一代多业务网络的管理需求.