基于消除竞争环的路由策略冲突检测方法

提出了一种基于消除竞争环的检测路由策略冲突集合的方法 ,用于在BGP路由发生振荡时 ,动态地检测导致路由振荡的路由策略冲突 该方法以一种静态描述域间路由语义的形式化方法———稳定路径问题 ,作为理论基础 ;首先利用安全路径矢量协议来识别引发振荡的竞争环 ,然后以分布的方式查询路由策略对振荡路由的影响 ,最终以消除竞争环为目的 ,来确定路由策略冲突集合 最后 。

基于有向竞争图的BGP收敛时间

基于有向竞争图理论研究BGP协议收敛时间问题·有向竞争图反映了自治系统间路由策略的关系,路由策略一致或路由策略冲突·研究表明BGP收敛时间与有向竞争图的路径长度相关,给出了基于有向竞争图的BGP协议收敛时间范围·BGP的收敛时间大于等于竞争图内极长路径所需时间最小值,小于等于竞争图内所有路径所需时间最大值·用SSFNET仿真实验证明了所给时间范围的正确性·

基于安全多方计算的BGP策略冲突检测算法

边界网关协议BGP是当前因特网域间路由协议的事实标准,基于策略的路由选择过程使它不再是严格意义上的距离矢量协议,也不再具有距离矢量协议的收敛性。Varadhan指出,自治系统各自为政的策略配置方式会导致全局策略冲突,引起永久性的路由振荡。针对该问题,Griffin利用稳定路径问题SPP模型形式化地抽象出BGP协议行为,并以此为基础提出了一种分布式的策略冲突检测算法,尽管该算法完全避免了传统方法的缺陷,但仍然存在泄漏策略信息、对BGP协议改动太大以及浪费网络资源的问题。本文提出了一种基于安全多方计算的检测路由策略冲突的方法,用于在怀疑BGP路由发生振荡时,动态地检测系统中是否存在策略冲突。该方法采纳了Griffin的理论基础,同时由于巧妙地运用了安全多方计算协议,可以完全解决Griffin算法的问题,具有很好的实用性。

域间路由策略冲突的收敛性分析

边界网关协议(BGP)是一种基于策略的、事件驱动的路径向量协议。以前一般采用静态模型研究BGP收敛问题,不符合BGP事件驱动的特点。针对这个问题,该文基于BGP的简化版本的简单路径向量协议(SPVP),提出稳定路径问题(SPP)的随机高级Petri网模型。模型中使用延时变迁的参数描述BGP消息传播和处理延时的随机性,更加准确地揭示了策略冲突导致路由不收敛的实质。基于该模型提出了冲突定位算法,并证明其正确性。该算法还可以作为SPP的求解算法。

基于三维矩阵重构争论有向图的域间路由振荡检测算法

边界网关协议(Border G atew ay P rotoco l,BGP)是当前In ternet域间路由协议的事实标准,基于策略的路由选择过程使它不再是严格意义上的距离矢量协议,也不再具有距离矢量协议的收敛性.V aradhan指出,自治系统各自为政的策略配置方式会导致全局策略冲突,引起永久性的路由振荡.针对该问题,G riffin利用稳定路径问题(S tab le Path P rob lem,SPP)模型形式化的抽象出BGP协议行为,并以此为基础提出了一种分布式的策略冲突检测算法,尽管该算法完全避免了传统方法的缺陷,但仍然存在泄漏策略信息和对BGP协议改动太大以及浪费网络资源的问题.本文提出了一种基于安全多方计算的检测路由策略冲突的方法,用于在怀疑BGP路由发生振荡时,动态的检测系统中是否存在策略冲突.该方法采纳了G riffin的理论基础,同时由于巧妙的运用了安全多方计算协议,可以完全解决G riffin算法的问题,具有很好的实用性.