OSPF路由选择协议的研究

介绍了OSPF的结构模型，路由选择数据库的维护以及配置，通过与其它路由协议（主要是RIP）的比较，阐述了OSPF的性能特点。     

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

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

OSPF动态路由协议中的路由计算

在介绍开放最短路径优先(OSPF)动态路由协议层次结构的基础上,重点分析了OSPF中用到的最短路径优先(SPF)算法及路由表的计算过程.     

OSPF协议的随机Petri网模型与性能分析

为了改进开放式最短路径优先(O SPF)协议实现的性能,该文深入分析了O SPF复杂的协议行为并建立了随机Petri网模型。同时提出了耗时过程的概念,并且从O SPF协议行为中提取出耗时过程,简化上述Petri网模型。最后利用工具SPNP进行了模拟分析。实验结果表明O SPF协议在不同的网络状况下具有不同的性能表现:当网络变化频繁时,O SPF协议的主要负载是路由计算;当网络变化平缓时,O SPF协议的主要负载是链路状态声明信息(LSA)检索。这样为提高O SPF协议的性能提供了定量分析方法。     

专用网OSPF协议性能优化研究

为了提升专用网在无线信道环境下的整体性能,该文对开放最短路径优先(open shortest path first,O SPF)协议进行了优化研究。研究主要包括单区域机制、相关数据包简化、状态机简化以及协议关键参数设置。仿真结果表明:在恶劣信道环境中,路由表平均计算次数可减少81%,协议带宽平均损耗可降低80%,而网络稳定工作时间可延长2倍。针对O SPF标准协议的优化设计简单可行,适应于专用网自身特点,可有效提高网络性能。     

战术IP网络中OSPF与EIGRP的性能分析

战术IP网络要求路由协议具有较快的收敛性、较小的端到端时延和遭遇突发事件时较强的数据响应能力。利用OPNET仿真工具,比较了OSPF和EIGRP这两种协议上述3个方面性能的差别。仿真结果表明：EIGRP的收敛性比OSPF快近2倍并且峰值流量减少了50％,平均端到端时延比OSPF减少了20％,异常情况下对数据的响应时间明显少于OSPF。因此,EIGRP协议更适用于战术IP网络。同时,针对OSPF协议提出了一些修改建议。     

基于OSPF路由协议的GGSN应用

为了降低连接3G核心网和外部的数据网络的网关GGSN的数据包路由和转发的系统复杂度,本文提出了一种针对GGSN中路由和转发模块分离策略,通过对OSPF协议和网络拓扑路径的修改,实现了二者的分离;另外对Flooding过程的修改减少网络的流量,高可用性实现也达到了系统的无缝切换。实现证明,上述策略应用符合GGSN的功能需求,并且是有效的     

携带数字签名的OSPF路由协议安全研究

为了增强OSPF(开放最短路径优先)路由协议的安全性能,在OSPF的LSA(链路状态通告)数据中增加数字签名,以保护路由协议的信息交换。文中阐述了携带数字签名的OSPF的设计思想和实现的关键技术,并从路由器公钥和携带数字签名的LSA的发送与接收等方面测试了该设计的合理性和可行性。实验结果表明:使用携带数字签名的OSPF路由协议可以防止网络中非法路由器的恶意攻击,为LSA数据提供端到端的集成认证。     

移动无线网最短路径优先协议的设计

目的研究实现分组无线网在移动条件下的应用,方法采用邻接表监视无线链路的连通性,链路状态表跟踪网络拓扑结构的变化,在此基础上采用Ｄｉｊｋｓｔｒａ算法实现了分的最短路径优先寻径。结果设计的分组无线网最短路径优先协议可提高网络的可靠性和抗毁性,并充分利用无线信道的广播特性。结论由此验证无线最短路径优先协议适用全分组无线网。     

数字签名保护的OSPF路由协议的安全性研究

OSPF路由协议是网络上应用最为广泛的链路状态协议之一,用于在网络上分发路由信息,但是这个担负着因特网上路由信息分发任务的重要协议在其制定之初并没有有效的安全手段.为此,IETF提出了数字签名保护的OSPF路由协议.阐述了数字签名保护的OSPF协议的设计思想和实现技术,构筑了带数字签名保护功能的路由器组成的实验网络,对路由协议的数字签名方案进行了仿真试验并得到了系统的数据,在此基础上分析了数字签名保护的OSPF协议的安全特性.     

Use of Global Behavior Tree for Conformance Testing of OSPF Protocol LSDB Synchronization

Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open shortest path first protocol link-state database (LSDB) synchronization process, the authors propose a formal model called global behavior tree, which describes global interactions among routers. The model is capable of representing distributed and concurrent behavior and allows for easy test derivation. The corresponding test notation and test derivation algorithm are studied. A simple test method is developed and a software tester is implemented. The results show that this model easily facilitates the testing process and allows a good test coverage.     

专用网OSPF链路摆动抑制算法

该文提出了OSPF(openshortestpathfirst)链路摆动抑制算法以克服由于无线信道误码率较高而引起的专用网链路摆动问题。该算法核心思想是在保证网络连通性的基础上,评估所有链路性能并对不稳定链路进行动态抑制。链路在被抑制的状态下不参加路由计算。仿真结果表明:在算法参数设置合理的情况下,链路状态广播更新数量和网络同步运行时间等指标可分别改善约35%和10%。OSPF链路摆动抑制算法简单可行,适应于专用网自身特点,可有效提高网络整体性能。     

基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

基于四叉堆优先级队列的OSPF算法

通过比较已有的Dijkstra算法和基于四叉堆优先级队列的Dijkstra算法的时间复杂度得出，后者的执行效率高于前者；并在此基础上提出了基于四叉堆优先级队列的0SPF算法，以提高OSPF的效率。     

RouterOS在多VLAN中的PPPOE解决方案

以吉首大学校园网为案例,提出了基于RouterOS的多VLAN网络结构下的PPPOE解决方案,并就实施过程中遇到的问题提出了解决办法.