文摘
英文文摘
第一章、绪论
第二章、 形式化描述简介
第一节、 形式化描述综述
一、形式化描述的特点
二、形式化描述的分类
第二节融合语言Adele的简介
一、 攻击部分
二、检测部分
三、反应部分
第三章、Internet路由协议
第一节、 RIP：选路信息协议
一、背景
二、路由更新
三、IP路由metric
四、RIP的稳定性
五、 IP计时器
六、 IP分组格式
七、 IP2分组格式
第二节、OSPF:开放最短路径优先协议
第四章、DDoS的检测方法
第一节、DDoS攻击简介
一、DDOS攻击的原理
二、DDOS工具——Trinoo简介
第二节、 当前预防DDoS攻击的不足
第三节、 对DDoS的检测方法与相应的形式化描述
一、DDOS不易准确检测的原因
二、DOS攻击的检测方法
第四节、Radix树查找算法
第五节、DDOS攻击与检测的发展方向
第五章、IDXP简介
第一节、背景
一、IDXP概念
二、开发IDXP的目的
三、本文中用到的一些配置文件
第二节、IDXP基本通信模型
一、建立连接
二、数据传输
三、断开连接
四、IDXP通信中的信任模型
第三节、IDXP配置文件和选项
一、IDXP配置文件
二、IDXP的配置文件的认证和初始化
三、选项元素
第六章、IDXP的改进
第一节、IDXP的不足
一、背景
二、DXP本身应达到的目标
第二节、IDXP改进方案
一、改进方案的必要性和可行性
二、 实现方法
三、 应用例子
四、 相应DTD定义
参考文献
附录1、IDXP的其他相关信息
致谢
北京邮电大学;
