Internet异构路由建模与冲突分析

摘要：

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

关键词：协议一致性测试、边界网关协议、最短路径优先协议、时序说明语言

所属期刊栏目：30

分类号：TP393.06(计算技术、计算机技术)

资助基金：国家自然科学基金60273078;北京市自然科学基金4062012

在线出版日期：2007-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：46-49