基于GSN方法的CTCS-3级车载安全计算机安全论证
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 目录 | 第8-10页 |
| 1 引言 | 第10-22页 |
| ·选题背景及意义 | 第10-13页 |
| ·CTCS-3级列控车载安全计算机的研究 | 第13-17页 |
| ·计算机安全性的概念层次 | 第13页 |
| ·车载安全计算机 | 第13-15页 |
| ·安全分析技术与比较 | 第15-17页 |
| ·安全标准介绍 | 第17-18页 |
| ·安全论证的研究 | 第18-20页 |
| ·论文内容的结构 | 第20-22页 |
| 2 C3车载安全计算机的安全分析 | 第22-58页 |
| ·系统定义与应用环境 | 第26-36页 |
| ·C3系统概述 | 第26-29页 |
| ·系统边界与系统环境 | 第29-31页 |
| ·安全计算机顶层功能和假定约束 | 第31-36页 |
| ·隐患识别与风险评估 | 第36-54页 |
| ·隐患识别与分析 | 第36-45页 |
| ·隐患日志与原因后果分析 | 第45-51页 |
| ·风险评估 | 第51-54页 |
| ·安全需求 | 第54-58页 |
| ·安全功能需求 | 第55-56页 |
| ·安全完整性需求 | 第56-57页 |
| ·其它安全需求 | 第57-58页 |
| 3 安全论证与安全证明文件 | 第58-68页 |
| ·安全证明文件 | 第58-62页 |
| ·安全证据与论证 | 第58-59页 |
| ·安全证明文件 | 第59-61页 |
| ·安全证明文件的编制 | 第61-62页 |
| ·GSN方法的应用 | 第62-66页 |
| ·GSN方法介绍 | 第62-64页 |
| ·如何使用GSN方法 | 第64-66页 |
| ·系统安全论证框架 | 第66-68页 |
| 4 安全管理和技术安全论证 | 第68-88页 |
| ·安全管理和技术安全论证 | 第68-79页 |
| ·安全管理报告的论证结构 | 第68-70页 |
| ·安全管理报告子目标的论证 | 第70-79页 |
| ·功能与技术安全的安全论证 | 第79-88页 |
| ·技术安全报告的论证结构 | 第79-81页 |
| ·技术安全报告子目标的论证 | 第81-88页 |
| 5 结论 | 第88-90页 |
| 参考文献 | 第90-94页 |
| 图索引 | 第94-96页 |
| 表索引 | 第96-98页 |
| 作者简历 | 第98-102页 |
| 学位论文数据集 | 第102页 |
