| 基于NSIS的网络管理信令协议的设计及验证 |
| |
| 引用本文： | 闻英友,陈书义,李佳,赵宏. 基于NSIS的网络管理信令协议的设计及验证[J]. 东北大学学报(自然科学版), 2010, 31(2): 197-201. DOI: - |
| |
| 作者姓名： | 闻英友 陈书义 李佳 赵宏 |
| |
| 作者单位： | 东北大学研究院,辽宁,沈阳,110004 |
| |
| 基金项目： | 国家自然科学基金资助项目(60602061,60673159) |
| |
| 摘 要： | 提出了一种基于信令机制的可扩展NSIS网络管理协议,定义了NSIS网络管理协议的服务原语及数据单元,以实现协议的主要通信过程及管理操作流程.利用Petri网对协议进行了形式化描述,并对协议的逻辑正确性和性能进行了验证分析.利用NS-2对整个协议进行了仿真.相关验证及仿真结果表明,基于NSIS的网络管理协议兼备IP的灵活性和信令的高效性,保障了管理信息的安全、可靠传输,能够满足基于IP承载的新一代多业务网络的管理需求.
|
| 关 键 词： | 网络管理 NSIS 信令 协议 Petri网 |
Design and Verification of the NSIS-Based Network Management Signaling Protocol |
| |
| WEN Ying-you,CHEN Shu-yi,LI Jia,ZHAO Hong. Design and Verification of the NSIS-Based Network Management Signaling Protocol[J]. Journal of Northeastern University(Natural Science), 2010, 31(2): 197-201. DOI: - |
| |
| Authors: | WEN Ying-you CHEN Shu-yi LI Jia ZHAO Hong |
| |
| Affiliation: | Research Academy;Northeastern University;Shenyang 110004;China. |
| |
| Abstract: | An NSIS-based extendable network management protocol is proposed,of which the service primitives and data units are defined to implement the main communication process and management operation procedure of the protocol.The proposed protocol are described and formatted with Petri nets,with the logic correctness and performance of the protocol verified.The results of simulation with NS-2 for the whole protocol and relevant verification showed that the NSIS-based network management protocol has not only the IP... |
| |
| Keywords: | NSIS network management NSIS(next steps in signaling) signaling protocol Petri net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《东北大学学报(自然科学版)》下载全文 |
|
