| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 1 绪论 | 第9-16页 |
| 1.1 研究背景 | 第9-12页 |
| 1.2 入侵检测技术研究现状 | 第12-14页 |
| 1.3 存在的问题 | 第14-15页 |
| 1.4 论文组织结构 | 第15-16页 |
| 2 预备知识 | 第16-28页 |
| 2.1 入侵检测 | 第16-20页 |
| 2.2 模型检测 | 第20-22页 |
| 2.3 基于模式匹配的入侵检测算法原理 | 第22-24页 |
| 2.4 基于时间区间时序逻辑的入侵检测算法原理 | 第24-25页 |
| 2.5 时间区间时序逻辑(TITL) | 第25-27页 |
| 2.6 本章小结 | 第27-28页 |
| 3 常见的11种攻击的时间区间时序逻辑公式模型 | 第28-55页 |
| 3.1 KDD CUP数据集介绍 | 第28-29页 |
| 3.2 网络攻击原理分析 | 第29-31页 |
| 3.3 攻击原理 | 第31-39页 |
| 3.4 攻击原子动作序列 | 第39-44页 |
| 3.5 原子动作序列的动作行为分解 | 第44-47页 |
| 3.6 给动作序列的原子公式集合AP及时序逻辑公式 | 第47-52页 |
| 3.7 仿真实验 | 第52-54页 |
| 3.8 本章小结 | 第54-55页 |
| 4 基于并发命题投影时序逻辑的通用类型攻击检测 | 第55-62页 |
| 5 总结与展望 | 第62-64页 |
| 参考文献 | 第64-68页 |
| 个人简历、在学期间参加的科研项目及发表的论文 | 第68-69页 |
| 个人简历 | 第68页 |
| 在学期间参加的科研项目 | 第68页 |
| 在学期间发表的学术论文 | 第68-69页 |
| 致谢 | 第69页 |