面向安全应用的隔离核技术研究与实现
| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第11-17页 |
| 1.1 课题研究背景 | 第11-12页 |
| 1.2 课题研究意义 | 第12-13页 |
| 1.3 国内外发展现状 | 第13-14页 |
| 1.3.1 国外发展现状简介 | 第13-14页 |
| 1.3.2 国内发展现状简介 | 第14页 |
| 1.3.3 国内外发展对比总结 | 第14页 |
| 1.4 本文主要工作和结构安排 | 第14-17页 |
| 第二章 系统安全相关理论研究 | 第17-31页 |
| 2.1 安全操作系统概论 | 第17-20页 |
| 2.1.1 安全操作系统保护的对象 | 第17页 |
| 2.1.2 操作系统保护措施 | 第17-18页 |
| 2.1.3 安全操作系统设计原则 | 第18页 |
| 2.1.4 安全操作系统的开发方法 | 第18-20页 |
| 2.2 系统安全保障技术研究 | 第20-29页 |
| 2.2.1 加密技术研究 | 第20-21页 |
| 2.2.2 身份认证与识别技术研究 | 第21-22页 |
| 2.2.3 可信路径研究 | 第22页 |
| 2.2.4 最小特权原则研究 | 第22-23页 |
| 2.2.5 访问控制机制研究 | 第23页 |
| 2.2.6 隐蔽通道原理研究 | 第23-24页 |
| 2.2.7 安全模型研究 | 第24-26页 |
| 2.2.8 访问控制框架研究 | 第26-29页 |
| 2.2.9 安全审计研究 | 第29页 |
| 2.3 安全系统相关标准 | 第29-30页 |
| 2.3.1 TCSEC标准 | 第29页 |
| 2.3.2 CC标准 | 第29-30页 |
| 2.3.3 SKPP标准 | 第30页 |
| 2.4 本章小结 | 第30-31页 |
| 第三章 安全隔离核系统架构的设计 | 第31-50页 |
| 3.1 安全隔离核系统设计背景 | 第31-32页 |
| 3.2 eAUTO系统简介 | 第32页 |
| 3.3 系统需求分析 | 第32-33页 |
| 3.3.1 功能性需求 | 第33页 |
| 3.3.2 非功能性需求 | 第33页 |
| 3.4 eAUTO系统内核安全功能的增强 | 第33-42页 |
| 3.4.1 访问控制机制的设计 | 第34-38页 |
| 3.4.2 ESM安全服务器的设计 | 第38-42页 |
| 3.5 系统平台安全功能增强 | 第42-48页 |
| 3.5.1 安全服务分区的设计 | 第42-46页 |
| 3.5.2 安全IO分区的设计 | 第46-47页 |
| 3.5.3 安全启动功能的设计 | 第47页 |
| 3.5.4 安全审计功能的设计 | 第47-48页 |
| 3.6 本章小结 | 第48-50页 |
| 第四章 安全隔离核系统架构的详细设计与实现 | 第50-81页 |
| 4.1 eAUTO系统内核安全功能的实现 | 第50-65页 |
| 4.1.1 访问控制机制的实现 | 第50-57页 |
| 4.1.2 ESM安全服务器的实现 | 第57-65页 |
| 4.2 平台安全功能的实现 | 第65-80页 |
| 4.2.1 安全服务分区的实现 | 第65-72页 |
| 4.2.2 安全IO分区的实现 | 第72-74页 |
| 4.2.3 安全启动的实现 | 第74-76页 |
| 4.2.4 安全审计的实现 | 第76-80页 |
| 4.3 本章小结 | 第80-81页 |
| 第五章 系统功能测试与验证 | 第81-87页 |
| 5.1 测试环境 | 第81页 |
| 5.2 功能性测试 | 第81-85页 |
| 5.2.1 访问控制机制的测试。 | 第81-83页 |
| 5.2.2 安全启动功能的测试 | 第83-84页 |
| 5.2.3 安全审计功能测试 | 第84-85页 |
| 5.3 非功能性测试 | 第85-86页 |
| 5.4 本章小结 | 第86-87页 |
| 第六章 总结与展望 | 第87-89页 |
| 6.1 工作总结 | 第87页 |
| 6.2 不足与展望 | 第87-89页 |
| 致谢 | 第89-90页 |
| 参考文献 | 第90-93页 |
