学位论文 > 优秀研究生学位论文题录展示

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

相似论文

  1. 基于主动方式的恶意代码检测技术研究,TP393.08
  2. SoS中框架方法的形式化研究,TP393.09
  3. 应急预案的形式化建模与决策规划,N945.1
  4. 排队论模型在医疗服务系统中的应用研究,R197.1
  5. 安全相关软件的设计方法研究及应用,TP311.52
  6. 自行防空系统协同作战建模与仿真方法研究,E955
  7. 低碳约束下施工设备的选择决策模型研究,TU60
  8. 基于SystemVerilog的URAT模块功能验证,TN402
  9. 普适计算中动态更新及其形式化研究,TP338
  10. 基于车辆出行特征的交通网络评价方法研究,U491.13
  11. 基于物流港口企业业务流程战略转型的岗位优化设置研究,F259.27;F224
  12. 西安国际港务区对公交线路影响的研究,F572.88
  13. 基于OWL的地名本体构建与检索机制研究,P208
  14. 基于M/G/1电梯搬运系统的多楼层设施布置问题研究,TU857
  15. 面向复杂产品的配置设计方案评价,TH122
  16. 安全协议形式化模型刻画与代数属性研究,TP274
  17. 筛选规则智能化生成的研究与设计,TP393.08
  18. 安全协议形式化描述语言的设计与解析,TP393.08
  19. 安全协议形式化分析关键问题研究,TP393.08
  20. 安全协议自动化分析系统的设计与实现,TP393.08
  21. Web服务事务协调协议WS-TX的形式化分析与验证,TP393.09

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 计算机网络安全
© 2012 www.xueweilunwen.com