论文部分内容阅读
针对不同路由协议之间的冲突问题，提出一种新的异构路由建模和冲突分析方法．该方法使用时序说明语言（LOTOS）作为路由系统描述语言；通过定义适合于路由系统分析的路由常量和运算规则，建立路由系统的数学模型；通过求解数学模型有效地发现冲突路由．为了支持上述观点，使用可扩展的网络仿真工具（SSFNet）对边界网关协议（BGP4）和最短路径优先协议（OSPF）进行仿真，实验结果表明了提出的分析方法与实际情况的一致性.