NSIS下通用访问控制信令协议的设计与验证

在深入研究设备穿越和动态防御需求的基础上,提出了基于下一代信令(NSIS)技术的通用访问控制协议.协议实体由7个不同的功能模块组成,并定义了协议的消息类型、数据对象和执行流程.其中,消息类型包括请求消息、应答消息和错误.请求消息将为访问控制设备部署不同的访问控制策略,而错误消息主要是在鉴权失败或者检查到信令消息出错时返回出错的原因.最后,对协议进行了测试、验证,结果表明所提协议具有逻辑正确性,且性能开销较小.通过引入NSIS信令机制,保障了访问控制信令信息安全、可靠传输.     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

Internet简单网络管理协议的实现

Internet网络标准分为两个主要协议,简单网络管理协议是其中之一,并已成为工业上的事实标准。     

基于Petri网的Socks V5之验证协议阶段建模研究

Socks V5协议是一个基于客户机/服务器结构的网络代理协议。以Petri网为工具建立了Socks V5验证协议阶段的模型,并用矩阵方程对模型进行了分析研究。     

一种身份认证协议的形式化描述与验证

身份认证作为实现网络安全的第一步，是网上商务信息安全交换的关键。而认证协议一旦存在漏洞。必然会导致秘密信息的泄漏，这就需要采用一种形式化的方法去描述和验证认证协议。本文采用着色Petri网描述身份认证协议，同时提出了一种用1-可达性分析方法和向回分析方法相结合的策略，验证了该身份认证协议的安全性。     

基于Java和简单网络管理协议的动态分布式网管系统模型

提出了基于Java和简单网络管理协议（SNMP）的动态层次型分布式网管系统模型，解决了中间层管理者动态信息模型问题。利用Java语言的可动态加载特性实现了流动代码机制，利用第3版的SNMP的安全性保证了代码的流动。实现的原型系统的性能包括时间消耗的测量和分析，该模型具有简单、轻便、灵活和实用的特点，更新用例显示了该模型的有效性。     

基于不同形式化模型的网络通信协议验证技术的分析与比较

协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。     

矿井移动通信信令及有关问题的研究

针对所研制的小区制矿井调度移动通信系统^[1]的特点研究了系统信令 和有关问题。确定了系统采用数字信令和DTMF信令相结合的系统信令方式并设计了系统的数字信令和DTMF信令的具体形式：为确保锁相环的稳频作用,确定了系统中锁相环路的截止频率以及数字信令的数据速率;为提高系统的抗干扰能力系统采用了差错控制方式与差错控制编码并确定了系统的差错控制方式和差错控制编码,针对信道上可能发生的帧的“碰撞”,确定了系统的MAC协议及其算法。     

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·     

基于Petri网的协议辅助设计工具的实现

研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．     

IPv6环境下的网络故障管理研究

针对在IP(Internet Protocol)v6环境下可能发生的网络故障,通过分析IPv6 MIB（Management Information Base）,利用Java实现了一个IPv6环境下网络故障管理的模型,开发出针对IPv6环境下的网络故障管理软件。研究结果表明,该故障管理系统在现代网络中具有可行性和高效率,在现有网络环境下具有实用价值。     

基于TCP／IP网络管理的一种实现

Ｉｎｔｅｒｎｅｔ使用的ＴＣＰ／ＩＰ协议中，简单网络管理协议和网际控制报文协议为网络管理员提供管理的一些必要信息。本文试图从ＷｉｎＳｏｃｋ编程接口，ＳＮＭＰ和ＩＣＰ等几个方面阐述一种面积微机的网络管理软件的实现方案。     

综合智能网络管理系统模型的设计

在对传统的网络管理系统方案（基于ＳＮＭＰｖ１或ＳＮＭＰｖ２,ＲＭＯＮ网络管理技术）进行分析的基础上,详细说明了传统网络管理系统存在的缺点,提出一种新型实用的综合智能网络管理模型,将传统的基于ＳＮＭＰ,ＲＭＯＮ网络管理技术,基于Ｊａｖａ的网络代理技术和专家系统的基本规则（ＲｕｌｅＢａｓｅｄＲｅａｓｏｎｉｎｇ,ＲＢＲ）或基于事例（ＣａｓｅＢａｓｅｄＲｅａｓｏｎｉｎｇ,ＣＢＲ）技术相结合,对网络系统实施     

基于Java网络管理代理的研究和实现

介绍了基于Ｊａｖａ的网络管理代理和传统的网络管理结构和代理在其中所起的起用．分析了传统网络管理系统方案所存在的缺憾．针对这些缺憾,将Ｊａｖａ的技术优点结合到网络管理中,实现一个基于Ｊａｖａ的网络管理代理,从而使网络管理代理具有可扩展性、跨平台、安全性强,能方便地支持和管理者间进行异步操作的特性．最后,介绍了实现的代理的模型和功能．     

基于有色Petri网的TII协议建模与分析

变送器独立接口(TII)协议有不同的应用方法且存在实施差异,需要对其进行建模、分析和验证.文中针对不同通道类型,建立层次化的TII协议有色Petri网(CPN)模型;采用数据传输平均延时、通道利用率、数据传输速率、数据帧丢失率作为性能评价指标,借助CPN Tools仿真软件对模型进行了性能分析;讨论了接口速率、采样速率比、采样数据长度、缓存队列长度等接口参数对性能指标的影响,提出了可控连续采样、增加通道数据长度、虚拟多通道、后进先出缓存及先进先出丢包等提高模型性能的方法与措施.该模型的实际应用表明,当STIM的通道类型为带缓存数据序列型时,数据帧丢失率为0,数据传输速率为1500B/s,数据传输平均延时为0.21ms.     

基于SNMP网络管理的MIB库访问实现

由于管理信息库（ＭＩＢ）是网络管理子系统各功能间的公共接口，故ＭＩＢ处理网络管理的核心地位，文中详细论述了ＴＣＰ／ＩＰ互连网络上基于ＳＮＭＰ网络管理的ＭＩＢ库访问实现。     

Research on Stress Testing of OSPF Protocol Implementation

The stability and robustness of routing protocol implementations (RPI) in a router are becoming more and more important with the growth of Internet scale. A novel approach named stress testing is proposed to test the properties of RPI. Compared with some traditional test techniques, stress testing is remarkably necessary to inspect and analyze RPI. The test environment is proposed and the test process of OSPF RPI is illustrated by a stochastic Petri Net model with large-scale route simulation and OSPF protocol emulation. Based on this model, the integrated performance tester (IP-TEST) is designed and developed, with which we test a CISCO2600 router. With mathematical methods, we find that the computational complexity of OSPF implementation in this router is O (lnN)^4)to the number of its routing table entries. This experiment shows that this technique can inspect the stability, the computational complexity and the sealability of RPI. Furthermore, it can also be widely used with other routing protocols, such as RIP and BGP.     

全光网络管理的设计和实现

以上海科技网改造升级成全光网络项目为背景，论述了基于SNMPv2C的全光网络管理的设计和实现，其中包括管理者（Manager)的设计思想和流程，嵌入式代理（Embedded agent)的结构和设计思想，管理信息库（MIB）的设计和几大网管功能的实现，并对全光网络管理的发展趋势进行了展望。