| 1 绪论 | 第1-12页 |
| ·课题研究的背景和意义 | 第9页 |
| ·国内外网络攻击模型的研究现状 | 第9-10页 |
| ·适用于安全知识共享的模型 | 第10页 |
| ·适用于攻击检测和安全预警的模型 | 第10页 |
| ·论文的主要研究内容 | 第10-12页 |
| 2 模糊petri网理论与网络攻击模型 | 第12-20页 |
| ·模糊petri网(Fuzzy Petri Net)理论 | 第12-16页 |
| ·模糊逻辑与知识表达 | 第12-13页 |
| ·模糊petri网(Fuzzy Petri Net)的定义 | 第13页 |
| ·模糊petri网(Fuzzy Petri Net)的触发规则 | 第13-14页 |
| ·FPN的可达性 | 第14页 |
| ·复合模糊规则FPN的描述 | 第14-16页 |
| ·各种网络攻击描述模型 | 第16-18页 |
| ·基于攻击树(Attack Tree)的网络攻击建模 | 第16页 |
| ·基于Petri Net的Attack Net攻击模型 | 第16-17页 |
| ·基于故障树的攻击模型 | 第17-18页 |
| ·其他攻击描述方法 | 第18页 |
| ·本章小结 | 第18-20页 |
| 3 基于FPN的攻击模型FAN及生成算法 | 第20-32页 |
| ·Fuzzy Attack Net的定义 | 第20-22页 |
| ·FAN的构造和求精 | 第22页 |
| ·FAN的特点 | 第22-23页 |
| ·FAN的数学分析方法 | 第23-26页 |
| ·FAN的最小割库所集 | 第23-24页 |
| ·基于FAN的模糊推理算法 | 第24-25页 |
| ·基于FAN的反向推理算法 | 第25-26页 |
| ·FAN自动生成算法 | 第26-31页 |
| ·获得数据 | 第26页 |
| ·算法描述 | 第26-29页 |
| ·算法的实验验证 | 第29-31页 |
| ·本章小结 | 第31-32页 |
| 4 基于Fuzzy Attack Net的计算机安全性分析模型 | 第32-45页 |
| ·引言 | 第32-33页 |
| ·计算机系统安全建模 | 第33-36页 |
| ·计算机系统安全属性 | 第33-35页 |
| ·计算机弱点表达 | 第35-36页 |
| ·安全FAN的生成 | 第36-39页 |
| ·安全FAN的定义 | 第36-37页 |
| ·安全FAN的构造 | 第37-38页 |
| ·安全FAN的实例 | 第38-39页 |
| ·基于FAN的系统安全性分析 | 第39-44页 |
| ·基于最小割库所集的定性分析 | 第39-40页 |
| ·基于攻击成功率的定量分析 | 第40-42页 |
| ·基于攻击复杂度的定量分析 | 第42页 |
| ·实例分析 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 5 FAN模型的扩展 | 第45-56页 |
| ·引言 | 第45-46页 |
| ·基于多值逻辑的扩展FAN模型MVFAN | 第46-48页 |
| ·MVFAN的定义 | 第46页 |
| ·MVFAN的激发规则 | 第46-47页 |
| ·基于MVFAN的多值逻辑推理 | 第47-48页 |
| ·基于双枝模糊逻辑的扩展FAN模型BBFAN | 第48-50页 |
| ·双枝模糊逻辑的基本概念 | 第49页 |
| ·BBFAN的定义 | 第49-50页 |
| ·BBFAN的性质 | 第50页 |
| ·BBFAN中的分析方法 | 第50-55页 |
| ·BBFAN的分离算法 | 第50-52页 |
| ·BBFAN最小割库所集算法 | 第52页 |
| ·BBFAN推理算法 | 第52-55页 |
| ·基于BBFAN的反向推理算法 | 第55页 |
| ·本章小结 | 第55-56页 |
| 6 总结与展望 | 第56-58页 |
| ·本文工作的总结 | 第56-57页 |
| ·研究前景的展望 | 第57-58页 |
| 参考文献 | 第58-62页 |
| 致谢 | 第62-63页 |
| 作者简介及硕士生期间发表的学术论文 | 第63页 |
