| 中文摘要 | 第1-6页 |
| 英文摘要 | 第6-7页 |
| 第一章 绪论 | 第7-17页 |
| §1．1 研究现状 | 第7-11页 |
| §1．2 存在的问题和解决的思路 | 第11-14页 |
| §1．3 论文主要内容和结构安排 | 第14-15页 |
| §1．4 论文创新点 | 第15-17页 |
| 第二章 基于Petri网的系统安全性建模与定性分析 | 第17-43页 |
| §2．1 系统安全性分析及模型选择 | 第17-21页 |
| §2．2 经典Petri网模型 | 第21-25页 |
| §2．3 基于经典Petri网模型的系统安全性定性分析 | 第25-43页 |
| 第三章 基于GSPN的系统安全性建模与定量分析 | 第43-72页 |
| §3．1 广义随机Petri网模型 | 第43-51页 |
| §3．2 利用GSPN进行系统安全性分析的一般过程 | 第51-56页 |
| §3．3 GSPN嵌入CTMP的迭代求解方法 | 第56-63页 |
| §3．4 安全性系统GSPN模型的仿真求解 | 第63-72页 |
| 第四章 系统安全性综合分析方法 | 第72-85页 |
| §4．1 Petri网模型与FME（C）A方法综合运用 | 第73-78页 |
| §4．2 Petri网模型与ETA方法综合运用 | 第78-80页 |
| §4．3 安全性综合分析方法 | 第80-85页 |
| 第五章 系统安全性建模与分析软件 | 第85-103页 |
| §5．1 安全性建模分析软件设计和原型系统 | 第86-92页 |
| §5．2 可达集存储策略 | 第92-97页 |
| §5．3 实例分析 | 第97-103页 |
| 第六章 结束语 | 第103-105页 |
| §6．1 本文的主要贡献 | 第103页 |
| §6．2 进一步研究的展望 | 第103-105页 |
| 致谢 | 第105-107页 |
| 参考文献 | 第107-118页 |
| 附录1 第六章实例的可达状态集 | 第118-123页 |
| 附录2 攻读博士学位期间发表的主要论文 | 第123页 |
