基于Petri网的网络脆弱性评估技术研究

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-12页
·课题背景及意义	第10页
·研究内容和组织结构	第10-12页
第2章 相关技术国内外研究综述	第12-21页
·脆弱性评估分析技术	第12-16页
·脆弱性评估技术研究现状	第12-15页
·脆弱性评估技术发展趋势	第15-16页
·Petri 网建模分析技术	第16-20页
·库所/变迁系统(P/T 系统)	第17-18页
·有色网系统	第18页
·可达图分析方法	第18-19页
·关联矩阵与状态方程分析方法	第19-20页
·本章小结	第20-21页
第3章 脆弱性评估建模过程定义	第21-30页
·基本概念与定义	第21-25页
·脆弱性定义	第21-22页
·脆弱性评估定义	第22页
·脆弱性分类	第22-23页
·脆弱性关联关系	第23页
·脆弱性关联关系实例	第23-25页
·基于Petri 网的脆弱性评估建模过程	第25-29页
·本章小结	第29-30页
第4章 基于Petri 网的正向脆弱性评估建模	第30-54页
·P/T 系统网络脆弱性评估建模	第30-39页
·存储数据结构定义	第30-31页
·Petri 网建模算法	第31-33页
·模型分析算法	第33-34页
·限制攻击步骤和攻击路径可达概率	第34页
·实验验证	第34-39页
·有色网系统网络脆弱性评估建模	第39-53页
·CPN 建模工具	第39-41页
·算法思想	第41-43页
·有色网模型建立	第43-44页
·实验验证	第44-53页
·本章小结	第53-54页
第5章 基于Petri 网的逆向可达性分析方法	第54-64页
·P/T 系统的逆向状态可达性分析方法步骤	第55-57页
·从P/T 系统到有色网系统的转换	第57-63页
·具体步骤	第57-59页
·实验验证	第59-63页
·本章小结	第63-64页
结论	第64-65页
参考文献	第65-69页
攻读硕士学位期间发表的论文和取得的科研成果	第69-70页
致谢	第70页