基于染色Petri网的BGP连接过程模型

边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因,修改模型直到偏离消失。求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性。     

城域网路由设计

该文以宝安信息网为例,根据层次性路由、路由冗余、路由对称性、负载平衡、路由稳定性等设计要素,对城域网路由设计的要点进行了论述。     

电信级高可用率BGP/MPLS VPN网络部署与优化

BGP/MPLS VPN作为基于一种城域的VPN部署技术,发展成运营商VPN服务的跨域实现.本文从建设电信级BGP/MPLS VPN网络的实际出发,分析了跨AS实现方式,计算了网络可用率、并应用HSRP协议进行网络优化,确定优化后的目标网络达到了电信级高可用率的要求.     

在BGP／MPLS VPNs中用BGP实现域间流量工程

在BGP／MPLS VPNs中，用MPLS实现的流量工程主要被限止在单个管理域内。然而，随着企业规模的不断扩大，VPN跨越越来越多的管理域，急需管理域间流量的有效方法。以BGP属性、BGP策略和AS关系为基础的，一方面通过配置LOCAL-PREF属性值，运用输入策略，控制AS的出界流量；另一方面，保证客户AS不在提供者间或对等体间过渡流量，或允许客户AS向它的部分提供者通告路由，或人为增长AS-PATH，控制AS的入界流量。仿真表明此方法能有效地在BGP／MPLS VPNs中用BGP实现域间流量工程。     

基于多协议扩展边界网关协议BGP4+的形式化建模研究

协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.     

Avoiding BGP Security Holes by MPLS

1 Introduction A router running BGP can communicate with its neighbors, essentially telling them to which networks the router can efficiently send data.However, a misconfig- ured router, or one that has been compromised by an on- line intruder, can cause chaos by advertising itself as the best path to an unrelated network. That' s because routers using BGP implicitly trust their neighbors on the Internet- - they don' t ask for any sort of digital identi- fication. Using such digital forgery…     

BGP路由监测与分析研究

针对IP网络普遍运行主要路由协议BGP,从管理平面和控制平面探讨了监测方法,对各种网络路由提出了深入的分析思路.通过对现有网络路由行为的监测与分析,达到详细观测路由的动态特性、分析网络拓扑改变对互连网性能的影响,从而提高网络响应拥塞和拓扑改变的能力.     

一种BGP路由配置错误动态检测方法

针对BGP路由源配置错误和路由输出配置错误，提出了一种BGP路由配置错误动态检查方法。该方法通过对入境和出境路由的地址前缀进行所属关系检测来确定所声明前缀的合法性，发现路由源配置错误。依据自治系统之间的商业关系，通过分析出入境路由的AS路径属性来发现违反路由输出原则的路由输出配置错误。通过仿真实验证明了所给方法的正确性和可行性。     

基于攻击树的边界网关协议安全测试

基于BGP协议构造的域间路由系统是因特网的基础设施。域间路由系统面临多种恶意攻击的成胁且易受人为错误的影响。本文提出BGP攻击树（Attack-Tree）模型，并应用该模型构造域间路由系统的安全性测试套件，不但能够全面地对BGP进行安全性测试，而且便于测试案例的生成和系统实现。测试过程就是对树的标记过程，本文为此提出了着
色算法。利用生成的测试案例，对BGP目标系统进行安全测试实验。结果表明，这种方法能有效地发现BGP潜在的安全漏洞，为ISP运营商增强路由系统安全提供依据。     

BGP4+协议一致性测试系统设计与实现

在介绍BGP4＋协议的基础上，设计并实现了该协议的一致性测试系统；提出了用于中继系统一致性测试的虚拟多端口的测试方法，解决了测试系统物理端口不够的问题；还介绍了一个新的测试例描述语言。