学位论文 > 优秀研究生学位论文题录展示
域间路由协议BGP-4健壮性测试技术的研究
作 者: 王乐春
导 师: 龚正虎
学 校: 国防科学技术大学
专 业: 计算机科学与技术
关键词: 计算机网络 协议工程 健壮性测试 BGP RFSM 场景模型 测试系统体系结构 反向测试集合
分类号: TP393.04
类 型: 博士论文
年 份: 2005年
下 载: 136次
引 用: 2次
阅 读: 论文下载
内容摘要
随着计算机网络技术的蓬勃发展,Internet已经成为全球通信的核心基础设施。协议是计算机网络中各种通信实体相互交换信息时必须遵守的一组规则,它是Internet的灵魂。而协议中的任何错误和缺陷都将给系统的稳定性、可靠性、安全性、容错性、互通性和互操作性带来巨大的危害,面向协议错误和缺陷的健壮性研究正在成为协议工程的研究热点。 BGP协议健壮性测试研究具有重要理论意义和实际应用价值。BGP位于Internet的核心控制层面,是域问路由的事实标准,BGP的脆弱性直接影响Internet路由的稳定性。BGP协议健壮性测试取得任何突破性进展,将直接提高Internet的可靠性和可用性。此外BGP协议具有路由协议的一般性特征,BGP健壮性测试使用的测试方法和测试框架可以方便地推广到其他协议的健壮性测试中。 本论文通过对BGP协议组的分析,根据BGP协议的特点、Internet发展的新趋势和BGP面临的挑战,提出了适合于BGP健壮性测试的测试方法和测试框架,并对其中的一些关键问题进行了研究。本论文的主要研究工作包括以下几个方面: 第一,健壮性缺陷分析和分类。虽然BGP协议标准中含有健壮性设计的内容,但是当BGP应用到Internet之后,面对复杂的Internet环境还是表现出众多的健壮性缺陷。利用测试机构提供的测试数据,互联网上公布的监测信息、统计结果和BGP失效实例,以及本实验室多年从事BGP研究、开发和测试的文档资料,本论文详细分析了BGP协议在设计、实现、使用和扩展等阶段可能出现的健壮性缺陷。对BGP健壮性缺陷的分析和分类将帮助协议设计和实现工程组在以后各自的工程中不再重复这些错误,更为健壮性测试确定了测试目标,使后续工作做到有的放矢。 第二,NC的健壮性测试集合研究。BGP协议的功能可以分成两部分:网络通信(NC,Network Communication)和路由信息处理(RI-Pro,Routing Information Processing)。NC的作用是为路由信息流提供稳定可靠的通信通道。BGP协议的NC在协议标准中使用FSM描述,该状态机实现了对等体的建立,维护TCP连接和参数协商等功能。我们提出了基于RFSM(Robustness Finite State Machines)的健壮性测试方法,该方法对FSM的功能部分和功能保护部分进行了严格区分,对功能部分提出用CFSM(Core FSM)描述,对功能保护部分提出使用RFSM进行描述。本文详细地构造了BGP的RFSM,并提出了RFSM的构造方法。在构造RFSM的过程中还重点探讨了冲击集合,以及特征序列和测试预言等健壮性测试面临的新问题。该测试方法可以系统地生成BGP协议NC部分的反向测试集合,此外该健壮性测试方法具有通用性:对于通信协议的FSM,都可以使用该方法构造新的RFSM,实现健壮性测试案例的生成。 第三,RI-Pro的健壮性测试集合研究。RI-Pro是路由协议软件的核心,其主要功能是路由信息的计算和路由表的更新,以及新路由信息的生成和传播。RI-Pro的测试不仅具有
|
全文目录
目录 4-8 图目录 8-10 表目录 10-12 摘要 12-14 ABSTRACT 14-16 第一章 绪论 16-30 1.1 问题的提出 16-25 1.1.1 研究背景 16-17 1.1.2 一致性测试 17-18 1.1.3 协议健壮性测试 18-20 1.1.4 BGP协议面临的问题 20-23 1.1.5 BGP协议健壮性测试的意义与挑战 23-25 1.2 本文的工作 25-27 1.2.1 BGP健壮性测试集生成技术研究 25-26 1.2.2 BGP健壮性测试系统的设计和实现 26-27 1.3 论文的结构 27-30 第二章 BGP健壮性测试相关研究 30-46 2.1 BGP协议的发展 30-37 2.1.1 BGP协议诞生 30-31 2.1.2 BGP行为综述 31-32 2.1.3 路径属性 32-35 2.1.4 错误处理 35-37 2.1.5 BGP发展的新动向 37 2.2 BGP协议测试研究现状 37-39 2.3 健壮性基础 39-42 2.3.1 健壮性的起源与发展 39 2.3.2 健壮性的定义 39-40 2.3.3 系统健壮性的基本要素 40-41 2.3.4 软件健壮性技术 41-42 2.4 健壮性测试研究现状 42-46 2.4.1 计算机系统健壮性研究 42-43 2.4.2 协议健壮性测试研究 43-44 2.4.3 BGP健壮性测试研究 44-46 第三章 BGP协议及实现软件脆弱性分析 46-62 3.1 BGP协议标准中的健壮性设计 46-47 3.2 BGP设计的脆弱性分析 47-52 3.2.1 明文通信 48 3.2.2 Fail-Begin技术 48 3.2.3 连接冲突 48-49 3.2.4 Internet路由模式改变 49-51 3.2.5 底层协议服务失败 51 3.2.6 路由汇总 51 3.2.7 错误模型 51-52 3.3 BGP实现的脆弱性分析 52-54 3.3.1 消息解析 52-53 3.3.2 协议状态处理 53 3.3.3 规模和速率的限制 53 3.3.4 随机数问题 53-54 3.3.5 一致性问题 54 3.3.6 其他风险 54 3.4 BGP使用的脆弱性分析 54-58 3.4.1 策略配置和观察行为不一致 55 3.4.2 错误配置 55-56 3.4.3 迂回路由 56-57 3.4.4 前缀过滤策略 57 3.4.5 BGP收敛 57 3.4.6 路由环路 57-58 3.4.7 网络阻塞 58 3.4.8 非对称路由 58 3.4.9 自同步共振 58 3.5 BGP扩展的脆弱性分析 58-59 3.5.1 抖动抑制策略不一致 59 3.5.2 新属性的错误使用 59 3.5.3 兼容性 59 3.6 脆弱性解决方案探讨 59-61 3.7 本章小结 61-62 第四章 基于RFSM模型的NC测试集生成方法研究 62-80 4.1 BGP网络通信的健壮性问题 62-65 4.1.1 问题的引入 62-63 4.1.2 BGP有限状态机健壮性分析 63-65 4.2 RFSM 65-66 4.3 构造BGP的RFSM 66-70 4.4 BGP协议的冲击集合 70-74 4.4.1 有效RFSM的冲击集合 70-72 4.4.2 理想RFSM的冲击集合 72-74 4.5 健壮性测试案例的生成 74-78 4.5.1 案例集合 76-77 4.5.2 测试实现和结果分析 77-78 4.6 本章小结 78-80 第五章 基于场景模型的RI-PRO测试集生成方法研究 80-94 5.1 RI-PRO分析与场景模型 80-86 5.1.1 RI-Pro分析 80-82 5.1.2 RI-Pro建模 82-84 5.1.3 基于场景模型的RI-Pro表述 84-86 5.2 构造场景模型的△集合 86-89 5.2.1 基本△集合的构造 86-88 5.2.2 扩展△集合的构造 88-89 5.3 利用矛盾关系构造应用场景 89-90 5.4 测试集合组成和测试结果分析 90-92 5.4.1 测试集合 90-91 5.4.2 测试结果及其分析 91-92 5.5 本章小结 92-94 第六章 基于错误注入的BGP健壮性测试系统设计与实现 94-120 6.1 BGP健壮性测试方法 94-96 6.2 错误注入技术 96-98 6.3 BGP错误注入机制设计 98-99 6.4 体系结构 99-112 6.4.1 体系结构框架 99-100 6.4.2 测试系统硬件和底层支持 100-105 6.4.3 测试系统软件 105-110 6.4.4 多代理协同测试 110-112 6.5 系统实现和实际测试 112-118 6.5.1 ANVL 112-113 6.5.2 LAN-6100 113-114 6.5.3 测试环境 114-117 6.5.4 测试内容 117 6.5.5 测试结果分析 117-118 6.6 本章小结 118-120 第七章 总结与展望 120-124 7.1 研究工作总结 120-121 7.2 本文的主要贡献 121-122 7.3 下一步的工作 122-124 致谢 124-126 攻读博士学位期间发表的论文 126-127 攻读博士学位期间参研工作 127-128 参考文献 128-134 附录A NC健壮性测试案例列表 134-138 附录B RI-PRO健壮性测试案例列表 138-142 附录C BGP协议组 142-143 附录D BGP状态机 143-145 附录E EXPECT脚本 145
|
相似论文
- 高光谱遥感场景模型仿真研究,TP72
- 基于RSA信息安全加密系统的研究与实现,TP309.7
- 列控系统及其计算机网络的故障诊断与故障容错研究,TP393.06
- 在线三维计算机网络虚拟实验室的研究与设计,TP391.9
- 中国教育技术发展历史研究,G434
- SSL协议的测试方法研究,TP393.08
- 多媒体教室网络管理系统设计与实现,TP311.52
- 基于IPv6的计算机网络课程虚拟web实验室的实现,TP391.6
- OHSMS的应用与煤矿现代安全管理模式研究,X936
- 某市检察院建筑智能化系统设计,TU855
- 基于NS2的计算机网络课程教学演示案例的设计与实现,TP393-4
- IKE协议健壮性测试技术研究,TP393.04
- 宁夏电信城域网MPLS VPN的规划,TP393.1
- 基于能力本位的中职计算机网络专业课程设置研究,TP393-4
- 从E-LOTOS自动生成XML格式测试套的设计与实现,TP311.10
- 河南省道路运政管理信息系统设计与实现,TP311.52
- 基于WEB技术的教务管理系统的设计与实现,TP311.52
- 衡水市同城票据实时清算系统的设计与实现,F832.2
- 包头联通数据城域网优化改造方案设计与实施,TP393.1
- 域间路由协议BGP内容安全的研究,TP393.08
- 基于异步元胞自动机的计算机病毒传播研究,TP309.5
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 通信规程、通信协议
© 2012 www.xueweilunwen.com
|