| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·课题背景 | 第9-10页 |
| ·安全操作系统技术的国内外研究动态 | 第10-12页 |
| ·研究内容 | 第12页 |
| ·论文章节安排 | 第12-14页 |
| 第二章 安全标准研究 | 第14-18页 |
| ·计算机安全评价标准 | 第14-16页 |
| ·当前嵌入式操作系统安全需求 | 第16-17页 |
| ·小结 | 第17-18页 |
| 第三章 安全操作系统基本原理 | 第18-22页 |
| ·计算机安全操作系统概述 | 第18页 |
| ·引用监视器和安全核 | 第18-19页 |
| ·安全核与TCB | 第19-20页 |
| ·嵌入式安全操作系统实现安全性的原理 | 第20-21页 |
| ·安全操作系统的实现方式 | 第21页 |
| ·小结 | 第21-22页 |
| 第四章 安全操作系统安全机制 | 第22-30页 |
| ·安全操作系统的硬件安全机制 | 第22-24页 |
| ·安全操作系统的软件安全机制 | 第24-29页 |
| ·小结 | 第29-30页 |
| 第五章 安全操作系统的安全策略及模型 | 第30-37页 |
| ·安全策略研究 | 第30页 |
| ·安全策略模型研究 | 第30-36页 |
| ·小结 | 第36-37页 |
| 第六章 安全操作系统的安全核框架设计 | 第37-47页 |
| ·GFAC 框架 | 第37-39页 |
| ·FLASK 框架 | 第39页 |
| ·嵌入式安全操作系统安全核结构框图 | 第39-46页 |
| ·小结 | 第46-47页 |
| 第七章 基于WIN CE4.2 操作系统安全核的实现 | 第47-89页 |
| ·WIN CE4.2 操作系统介绍 | 第47-50页 |
| ·安全核各模块的实现 | 第50-88页 |
| ·安全核在系统中的启动过程 | 第88页 |
| ·小结 | 第88-89页 |
| 第八章 安全操作系统测试 | 第89-98页 |
| ·测试环境 | 第89页 |
| ·安全功能测试 | 第89-96页 |
| ·时间性能测试 | 第96页 |
| ·空间性能测试 | 第96-97页 |
| ·小结 | 第97-98页 |
| 第九章 结束语 | 第98-100页 |
| 致谢 | 第100-101页 |
| 参考文献 | 第101-103页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第103页 |