| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-19页 |
| ·综合化航空电子系统的发展 | 第9-11页 |
| ·综合化航空电子系统发展及相关标准介绍 | 第9-10页 |
| ·综合化航空电子系统标准化历程 | 第10-11页 |
| ·综合化航空电子系统安全威胁与需求 | 第11-13页 |
| ·高可靠性系统安全架构及系统安全性评估方法的发展 | 第13-15页 |
| ·高可靠性系统安全架构的发展 | 第13页 |
| ·系统安全性评估方法的发展 | 第13-15页 |
| ·研究背景及意义 | 第15-16页 |
| ·研究背景 | 第15-16页 |
| ·研究意义 | 第16页 |
| ·本文主要工作及文章安排 | 第16-19页 |
| ·主要工作 | 第17页 |
| ·文章安排 | 第17-19页 |
| 第二章 综合化航空电子体系结构 | 第19-33页 |
| ·ASAAC 标准系统架构 | 第19-26页 |
| ·体系结构 | 第19-20页 |
| ·系统软件架构组件 | 第20-21页 |
| ·系统通信结构 | 第21-22页 |
| ·系统管理 | 第22-23页 |
| ·通用系统管理 | 第23-24页 |
| ·应用管理 | 第24-25页 |
| ·运行蓝图 | 第25-26页 |
| ·MILS 系统架构 | 第26-30页 |
| ·产生背景 | 第26页 |
| ·体系结构 | 第26-28页 |
| ·分区内核层 | 第28-29页 |
| ·安全中间件层 | 第29-30页 |
| ·应用服务层 | 第30页 |
| ·两种体系结构分析 | 第30-32页 |
| ·ASAAC 标准架构的缺陷与问题 | 第30-31页 |
| ·MILS 架构的优势 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 综合化航空电子安全性评估方法 | 第33-49页 |
| ·CC 评估方法 | 第33-38页 |
| ·CC 和 CC 评估 | 第33-36页 |
| ·CC 评估方法和流程 | 第36-38页 |
| ·CC 评估的现状和存在的问题 | 第38-39页 |
| ·CC 评估的现状 | 第38-39页 |
| ·CC 评估存在的问题 | 第39页 |
| ·CC-AHP 与 CC-GRAP 评估方法 | 第39-47页 |
| ·建立评估模型 | 第40-43页 |
| ·建立判定树 | 第43页 |
| ·层次化分析法 | 第43-46页 |
| ·灰度关联 | 第46-47页 |
| ·CC-AHP 与 CC-GRAP 评估方法分析 | 第47页 |
| ·本章小结 | 第47-49页 |
| 第四章 MILS 系统安全性评估 | 第49-61页 |
| ·MILS 系统安全评估指标体系的建立 | 第49-53页 |
| ·指标体系 | 第49-51页 |
| ·MILS 架构航空电子系统安全指标体系 | 第51-53页 |
| ·基于 CC-AHP 方法的 MILS 安全性评估 | 第53-57页 |
| ·建立评估对象因素集 | 第53-54页 |
| ·采用 AHP 方法确定指标权值 | 第54-57页 |
| ·基于 CC-GRAP 方法的 MILS 安全性评估 | 第57-60页 |
| ·本章小结 | 第60-61页 |
| 第五章 软件设计与实现 | 第61-89页 |
| ·开发环境 | 第61-64页 |
| ·INTEGRITY-178B 操作系统 | 第61-64页 |
| ·MULTI 工具集介绍 | 第64页 |
| ·安全管理平台 | 第64-77页 |
| ·软件体系机构 | 第64-67页 |
| ·密钥管理系统 | 第67-73页 |
| ·访问控制软件 | 第73-75页 |
| ·消息鉴别软件 | 第75-77页 |
| ·软件测试 | 第77-88页 |
| ·测试环境 | 第77页 |
| ·测试设计 | 第77-79页 |
| ·测试用例配置 | 第79-82页 |
| ·测试结果分析 | 第82-88页 |
| ·测试结论 | 第88页 |
| ·本章小结 | 第88-89页 |
| 第六章 工作总结与展望 | 第89-91页 |
| ·本文工作总结 | 第89页 |
| ·对未来工作的展望 | 第89-91页 |
| 致谢 | 第91-93页 |
| 参考文献 | 第93-97页 |
| 研究成果 | 第97-98页 |