| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 符号对照表 | 第12-13页 |
| 缩略语对照表 | 第13-17页 |
| 第一章 绪论 | 第17-27页 |
| 1.1 研究背景 | 第17-20页 |
| 1.2 国内外研究现状 | 第20-23页 |
| 1.3 研究内容及主要贡献 | 第23-24页 |
| 1.4 本文结构安排 | 第24-27页 |
| 第二章 综合化航空电子系统 | 第27-41页 |
| 2.1 航空电子系统的发展历程 | 第27-29页 |
| 2.2 基于ASAAC标准的综合化航空电子系统（IMA） | 第29-33页 |
| 2.3 基于MILS的综合化航空电子系统安全架构 | 第33-36页 |
| 2.3.1 分离内核层 | 第34-35页 |
| 2.3.2 中间件层 | 第35-36页 |
| 2.3.3 应用层 | 第36页 |
| 2.4 基于可信计算上的综合化航空电子系统安全架构 | 第36-37页 |
| 2.5 TLS、MILS和TCM架构的比较 | 第37-39页 |
| 2.6 小结 | 第39-41页 |
| 第三章 综合化航空电子系统安全技术研究 | 第41-79页 |
| 3.1 综合化航空电子安全需求 | 第41-43页 |
| 3.2 综合化航空电子系统的安全管理 | 第43-44页 |
| 3.3 层次化安全管理体系结构 | 第44-45页 |
| 3.4 综合化航空电子系统安全组件 | 第45-58页 |
| 3.4.1 密钥管理 | 第45-50页 |
| 3.4.2 身份认证 | 第50-52页 |
| 3.4.3 消息加解密 | 第52-54页 |
| 3.4.4 数据加密 | 第54-57页 |
| 3.4.5 访问控制 | 第57页 |
| 3.4.6 数据擦除 | 第57-58页 |
| 3.5 一种基于FPGA的ECC加解密算法研究 | 第58-70页 |
| 3.5.1 基于有限二进制域GF 2m及椭圆曲线加解密算法 | 第59-61页 |
| 3.5.2 ECC加速方案 | 第61-70页 |
| 3.6 基于MILS CORBA多级安全分区通信机制 | 第70-77页 |
| 3.6.1 MILS架构 | 第70-71页 |
| 3.6.2 MILS CORBA分区通信原理 | 第71-72页 |
| 3.6.3 MILS CORBA多级安全分区通信的实现 | 第72-76页 |
| 3.6.4 系统安全性分析 | 第76-77页 |
| 3.7 小结 | 第77-79页 |
| 第四章 综合化航空电子系统中基于可信计算的访问控制模型 | 第79-87页 |
| 4.1 可信计算在航空电子系统中应用 | 第79-81页 |
| 4.1.1 基于分区的综合化航空电子系统 | 第79-80页 |
| 4.1.2 可信计算平台 | 第80页 |
| 4.1.3 可信计算在航空电子系统中的应用 | 第80-81页 |
| 4.2 基于可信计算平台的访问控制模型 | 第81-85页 |
| 4.2.1 BLP模型和BIBA模型 | 第82页 |
| 4.2.2 基于TPM的综合化航空电子系统访问控制模型 | 第82-85页 |
| 4.3 基于TPM的访问控制模型分析 | 第85-86页 |
| 4.4 小结 | 第86-87页 |
| 第五章 综合化航空电子系统安全及可信性评估研究 | 第87-105页 |
| 5.1 综合化航空电子系统软件可信性评估研究 | 第87-92页 |
| 5.1.1 综合化航空电子系统软件可信性的表征和描述 | 第87-89页 |
| 5.1.2 综合化航空电子系统软件可信性度量与验证方法 | 第89-90页 |
| 5.1.3 综合化航空电子系统软件可信性评估 | 第90-92页 |
| 5.2 综合化航空电子系统安全评估方法 | 第92-102页 |
| 5.2.1 MILS安全架构的航空电子系统 | 第93-94页 |
| 5.2.2 CC评估方法 | 第94-95页 |
| 5.2.3 基于AHP和GRAP的MILS系统评估方法 | 第95-100页 |
| 5.2.4 MILS安全评估 | 第100-102页 |
| 5.3 小结 | 第102-105页 |
| 第六章 结论与展望 | 第105-107页 |
| 6.1 本文工作总结 | 第105-106页 |
| 6.2 未来工作展望 | 第106-107页 |
| 参考文献 | 第107-113页 |
| 致谢 | 第113-115页 |
| 作者简介 | 第115-120页 |
