学位论文 > 优秀研究生学位论文题录展示
IP网络主动检测技术研究
作 者: 赵庆斌
导 师: 马素霞
学 校: 华北电力大学(北京)
专 业: 计算机应用
关键词: 网络评价 排队论 形式化 主动检测 待测集合
分类号: TP393.08
类 型: 硕士论文
年 份: 2004年
下 载: 106次
引 用: 1次
阅 读: 论文下载
内容摘要
随着网络应用系统的日益丰富,网络系统的规模越来越庞大,采用的传输协议也越来越复杂,使得传统的被动网络检测技术不能再满足网络维护的需要,针对该问题,本文提出了“网络系统主动性检测技术”,与传统的被动性网络检测不同,主动性检测是一个完整的体系,体现在网络生命周期的各个阶段,包括网络规划、设计、实施、运行和升级。 在主动性网络检测体系中,首先基于网络规划设计方案(选择的数据传输技术和传输设备特性)进行理论分析与估算;其次使用形式化技术提炼待测系统形式化模型;对初步的形式化模型进行分析、化简,得到待测集合;最后使用作者研发的ActiveTester测试工具对测试集合进行覆盖测试。 为了科学地进行主动性测试,作者对协议测试理论进行了必要的补充,提出了自己的观点,如协议测试研究的内容、协议测试的方法、形式化技术在协议测试中的应用等;同时为了便于测试人员掌握、使用主动性测试技术,作者研发了报文发送、侦听、分析工具—ActiveTester,它除了具备传统网络工具(如,sniffer)所具有的报文侦听、流量统计分析功能外,增加了报文发送功能,可以发送MAC数据帧、IP报文、ICMP报文、IGMP报文、ARP报文等,在此基础上还可测量网络整体的吞吐量,响应时间,故障定位,协议一致性测试等。
|
全文目录
摘要 4-5 ABSTRACT 5-6 第一章 绪论 6-9 1.1 选题的背景和意义 6-7 1.2 国外研究现状 7-8 1.3 国内研究现状 8-9 1.4 论文的主要工作 9 第二章 随机服务系统理论在网络系统性能评价中的应用 9-19 2.1 随机服务系统理论简介 9-10 2.2 随机服务系统理论的数学基础 10-13 2.2.1 三个重要的概率分布 10-12 2.2.2 随机过程马尔可夫链 12-13 2.3 网络传输系统的排队论评价 13-19 2.3.1 单服务员队列模型 13-15 2.3.2 基本排队关系 15 2.3.3 假设条件 15 2.3.4 单服务队列模型比较 15-18 2.3.5 复杂的排队网络模型 18-19 第三章 网络协议形式化验证 19-37 3.1 协议测试与形式化方法 19-26 3.1.1 协议测试概念 20-21 3.1.2 协议测试必要性 21 3.1.3 协议测试的研究内容 21-22 3.1.4 协议测试方法 22-23 3.1.5 形式化方法与协议测试 23-25 3.1.5.1 形式化方法 23-24 3.1.5.2 形式化方法应用于协议说明 24-25 3.1.6 取得的进展 25-26 3.2 形式化分析与设计 26-37 3.2.1 协议的形式化模型 26 3.2.2 有限状态机(FSM) 26-28 3.2.3 协议的FSM模型 28-33 3.2.4 Petri网模型 33-35 3.2.5 协议的Petri模型 35-37 第四章 IP网络主动检测工具-ACTIVETESTER设计与开发 37-40 4.1 总体设计 37-38 4.2 详细设计 38-40 第五章 网络主动检测实例 40-50 5.1 网络系统性能评价的理论估算 40-41 5.2 ACTIVETESTER的使用 41-50 参考文献 50-52 致谢 52 在学期间发表论文和参加科研情况 52
|
相似论文
- 基于主动方式的恶意代码检测技术研究,TP393.08
- SoS中框架方法的形式化研究,TP393.09
- 应急预案的形式化建模与决策规划,N945.1
- 排队论模型在医疗服务系统中的应用研究,R197.1
- 安全相关软件的设计方法研究及应用,TP311.52
- 自行防空系统协同作战建模与仿真方法研究,E955
- 低碳约束下施工设备的选择决策模型研究,TU60
- 基于SystemVerilog的URAT模块功能验证,TN402
- 普适计算中动态更新及其形式化研究,TP338
- 基于车辆出行特征的交通网络评价方法研究,U491.13
- 基于物流港口企业业务流程战略转型的岗位优化设置研究,F259.27;F224
- 西安国际港务区对公交线路影响的研究,F572.88
- 基于OWL的地名本体构建与检索机制研究,P208
- 基于M/G/1电梯搬运系统的多楼层设施布置问题研究,TU857
- 面向复杂产品的配置设计方案评价,TH122
- 安全协议形式化模型刻画与代数属性研究,TP274
- 筛选规则智能化生成的研究与设计,TP393.08
- 安全协议形式化描述语言的设计与解析,TP393.08
- 安全协议形式化分析关键问题研究,TP393.08
- 安全协议自动化分析系统的设计与实现,TP393.08
- Web服务事务协调协议WS-TX的形式化分析与验证,TP393.09
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 计算机网络安全
© 2012 www.xueweilunwen.com
|