基于状态事件故障树的软件安全性分析方法研究

封面

声明

英文摘要

英文摘要

目录

缩略词

第一章 绪论

1.1 课题研究背景

1.2 国内外研究现状及选题依据

1.3 论文组织结构

第二章 基于状态事件故障树的嵌入式软件安全性分析方法

2.1 软件安全性的需求和设计模型

2.2 形式化建模与验证

2.3 基于状态事件故障树的软件安全性分析方法

2.4 本章小结

第三章 时序状态事件故障树的构建及安全属性规约

3.1 状态事件故障树的时序化扩展

3.2 时序状态事件故障树的约简

3.3 最小割集的LTL规约

3.4 本章小结

第四章 安全需求到状态图的扩展及安全属性的验证

4.1 状态事件故障树元素到状态图元素的映射

4.2 逻辑门转换规则

4.3 安全需求扩展状态图的构建方法

4.4 安全属性的验证

4.5 本章小结

第五章 襟缝翼控制系统实例分析

5.1 襟缝翼控制系统软件FT构建

5.2 襟缝翼控制系统软件系统LTSEFT构建及约简

5.3 襟缝翼控制系统软件安全属性提取

5.4 襟缝翼控制系统安全需求扩展状态图的建立

5.5 襟缝翼控制系统安全需求扩展状态图Promela建模与验证

5.6 本章小结

第六章 总结与展望

6.1 论文工作总结

6.2 未来工作展望

参考文献

致谢

在学期间的研究成果及发表的学术论文