基于XML的协议健壮性测试工具研究与设计

协议健壮性测试是提前规避畸形报文攻击导致设备安全问题的一种有效方式.着重介绍了协议的健壮性,以及协议健壮性测试方法.通过设计一个基于XML的协议健壮性测试工具,并在验证测试中发现网络设备中存在的一些安全漏洞,证明了该设计方法及实现的有效性.     

自动OSPF协议测试的形式化及算法

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大     

多端口路由器并发测试技术探究

路由器性能是网络高可用、高可靠和高性能的重要保证，如何评测路由器的性能，尤其对于工作在多端口并发的非均衡负载下的路由器性能，显得非常重要。本文结合当前我们正在研究的分布式多端口路由器协议测试系统就路由器性能测试做了作了深入研究。     

OSM——一种基于P2P的覆盖网构造协议

提出了一种新的P2P覆盖网构造协议--OSM.节点使用IP地址匹配算法选择邻居节点,优化了应用层网络拓扑结构,使得最接近底层物理拓扑结构;对于对等网络视频直播系统的健壮性来说,覆盖网构造中管理节点的退出和恢复是至关重要的,提出了节点的异常机制,能够及时有效地发现邻居节点失效,保障快速恢复.实验结果表明,OSM协议提高了与底层网络的匹配度,缩短了反应时间,增强了节点的健壮性.     

利用MSTP协议配置保证网络健壮性的方法

对MSTP协议进行了系统的概述,并举例说明了利用MSTP协议配置保证网络健壮性的方法,在实际工作当中具有很大的实用价值.     

3G系统中PDCP子层ROHC的研究和实现

LTE的高数据速率和容量,使频谱资源与业务量之间的矛盾更加突出.介绍了健壮性头压缩协议(ROHC)以及它在3G系统分组数据汇聚协议(PDCP)子层中的应用,分析了其应用价值和前景.全面分析了在PDCP中ROHC的实现原理及其应用过程.结合3C系统中PDCP层头压缩过程,对ROHC的实现进行了研究,分别从压缩方和解压缩方2个过程重点探讨了ROHC的实现架构.提出了一个改进的解压缩方的修复算法,该算法能够适用于大量丢包的情况,同时可以提高ROHC健壮性.     

一体化网络中可证明安全的三方认证协议

为了有效地保证终端、接入交换路由器和认证中心的安全,本文提出了一体化网络中可证明安全的三方认证协议.该协议实现了终端和认证中心之间及接入交换路由器和认证中心之间的相互认证,不仅可以有效防止非授权终端接入网络,还可以防止伪造的认证中心和接入交换路由器对终端的欺骗.在BR扩展模型下,可证明该协议是安全的.通过性能分析得出,协议具有很高的效率.     

基于SNMP的网络流量数据采集研究与实现

网络数据流量的统计是网络管理的一项重要内容,而数据流量统计的核心是网络数据的采集.针对目前网络管理的数据流量控制问题,提出一种利用SNMP 协议实现对路由器中数据流量采集的方法.通过管理工作站(SNMP Manager)对代理(Agent) 中的变量的访问,来提取路由器中的网络数据流量信息.说明了基于SNMP协议数据流量信息采集过程的实现原理,并描述了实现方法.     

可编程路由器的虚拟化技术研究

可编程虚拟化路由器作为构建未来网络试验床的核心设备,在针对未来网络的体系架构以及相关协议、算法的性能进行评估和实验验证时将发挥关键作用.分析了可编程虚拟化路由器基本概念及其特性,对可编程路由器的整体框架结构进行了划分,并对各个层次结构的功能进行了详细描述.给出了一种基于NetFPGA的可编程虚拟化路由器的设计方案,并对路由器的虚拟化技术进行了研究论述.     

用路由软件组建BGP4+协议一致性测试平台

IPV 6协议是下一代互联网协议.BGP 4 协议是支持IPV 6的多协议扩展的外部网关路由选择协议.简要介绍了BGP 4 协议和路由软件Zebra.对BGP 4 协议一致性测试平台的结构进行讨论,给出了一个用路由软件Zebra组建支持IPV 6的BGP 4 协议一致性测试平台的例子.     

A Methodology for Assessing the Robustness of Distributed Information System (DIS)

This paper discusses a methodology for evaluating the robustness of a distributed system in the riwter's consideration a DIS's system scheme. This DIS is a multi-microcomputer system suppported by a local network.Robustness is evaluated in term of availability. Two ar chi tectures are explored, a planar model and a hierarchical model.In the 3 level hierarchical model, users commumicate to higher level hosts via intermediate level microcomputers. the planar architecture has all machines on the same level.With the methodology, the robustness of DIS can be quantified.     

基于路由协议交互的域间路由动态监测

为了解决实时域间路由动态监测的问题,提出了一种基于路由协议交互的域间路由监测方法。该方法通过一个具有部分路由引擎功能的监测代理连接网络,获取网络中的路由交互信息,通过对路由交互信息的分析,监测网络拓扑的变化情况以及其他网络动态行为。在实际工作中,实现了一个基于该方法的域间路由动态监测系统,并部署于第二代中国教育和科研计算机网CERNET 2中。该方法能够实时地分析域间路由的动态性,并且几乎不会对网络和路由器造成额外的负担。     

BGP4仿真系统的设计

文中主要介绍了一个基于离散事件仿真的BGP4仿真系统;系统采用面向对象的方法进行设计;利用它可以对BGP路由器的内部行为和状态进行仿真和跟踪。     

基于UML状态图的协议文本转换技术

利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.     

BGP网络故障模型与检测算法

BGP网络故障严重影响自治系统间的网络性能,根据Internet中观测点获得的BGP路由信息,描述域间路由系统的BGP网络模型,建立BGP故障事件模型,为BGP网络的拓扑变化提供一种简明的描述方式.根据高度时间相关性的BGP路由事件触发的网络拓扑变化,提出查找故障链路的近似算法.提出的BGP网络故障查找模型和算法能够比较准确地检测Internet域间路由系统中的路由异常事件.     

基于路由网络代数的BGP4路由策略冲突分析

介绍一种适合于Internet路由行为描述和分析的代数系统-路由网络代数（routing network algebra,RNA)，路由网络代数中的变量，常量以及相关的运算定律，重点介绍用于路由行为分析的扩展规则，在此基础上提出了一种BGP4路由策略冲突检测方法，理论与试验分析表明该方法可以有效地发现因错误的AS关系配置所产生的路由策略冲突。     

基于策略的BGP配置管理模型

目前的边界网关协议(BGP)配置管理是基于手工模式实现的,代价高、易出错、灵活性和扩展性差。该文将策略管理引入到BGP的配置管理中,提出了一个在自治系统(AS)内部实现BGP自动配置的框架。它可以支持自治系统中路由策略的一致性检测,根据高层策略自动配置AS内部所有BGP路由器,并能够动态地适应自治系统路由策略的改变。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

多级混合自适应控制器的设计

设计了一种多极混合自适应控制器,解决了高阶复杂被控对象在以往的自适应控制中出现的不稳定问题。增强了控制系统的鲁棒性。