| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-20页 |
| ·引言 | 第11-12页 |
| ·嵌入式操作系统的国内外发展现状及趋势 | 第12-17页 |
| ·嵌入式操作系统及其特征 | 第12-13页 |
| ·嵌入式操作系统的国内外发展现状 | 第13-16页 |
| ·嵌入式操作系统的发展趋势 | 第16-17页 |
| ·论文的研究背景及其意义 | 第17-18页 |
| ·论文的主要工作及其结构安排 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第二章 ESOS总体设计 | 第20-31页 |
| ·嵌入式操作系统和安全操作系统的设计原则 | 第20-21页 |
| ·嵌入式操作系统的设计原则 | 第20页 |
| ·安全操作系统的设计原则 | 第20-21页 |
| ·需求分析 | 第21-23页 |
| ·嵌入式操作系统内核实现模型的分析与抉择 | 第23-27页 |
| ·嵌入式操作系统内核的几种实现模型分析 | 第23-26页 |
| ·ESOS内核实现模型的抉择 | 第26-27页 |
| ·嵌入式操作系统内核安全性实现方案的分析与选择 | 第27-28页 |
| ·ESOS框架设计以及模块划分 | 第28-30页 |
| ·ESOS总体框架设计 | 第28-29页 |
| ·ESOS各模块功能分析 | 第29-30页 |
| ·系统评价指标 | 第30页 |
| ·本章小结 | 第30-31页 |
| 第三章 ESOS及其存储管理模块的安全性设计 | 第31-47页 |
| ·ESOS安全策略的制定 | 第31-34页 |
| ·ESOS的访问控制策略 | 第31-33页 |
| ·ESOS的访问支持策略 | 第33-34页 |
| ·ESOS安全模型的建立 | 第34-39页 |
| ·几种经典的安全模型 | 第35-36页 |
| ·BLP模型的形式化表示及其简化 | 第36-39页 |
| ·ESOS安全策略和安全模型的对应性说明 | 第39页 |
| ·ESOS存储管理模块涉及的安全策略的设计 | 第39-46页 |
| ·ESOS中MAC安全机制的设计 | 第39-42页 |
| ·存储管理模块中审计事件产生器的设计 | 第42-44页 |
| ·存储管理模块中客体重用安全机制的设计 | 第44页 |
| ·ESOS安全模型与存储管理模块安全性设计的一致性分析 | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第四章 安全内存管理模块esmm的设计与实现 | 第47-62页 |
| ·内存分区方案的分析与选取 | 第47-49页 |
| ·嵌入式内存管理中常见的内存分区方案 | 第47-48页 |
| ·esmm内存分区方案的选取 | 第48-49页 |
| ·esmm整体框架设计 | 第49-50页 |
| ·物理内存的分区 | 第49页 |
| ·esmm子模块的划分 | 第49-50页 |
| ·esmm核心数据结构设计 | 第50-53页 |
| ·esmm初始化子模块的设计与实现 | 第53-56页 |
| ·esmm堆栈区子模块和缓冲区子模块的设计与实现 | 第56-59页 |
| ·伙伴算法 | 第56页 |
| ·内存空间的分配 | 第56-58页 |
| ·内存空间的回收 | 第58-59页 |
| ·“内存空间泄漏”问题的解决 | 第59-60页 |
| ·esmm安全机制的实现 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 第五章 安全文件系统模块esfs的设计与实现 | 第62-83页 |
| ·esfs整体框架设计 | 第62-65页 |
| ·存储介质的分区 | 第62页 |
| ·esfs子模块的划分 | 第62-64页 |
| ·esfs文件状态的划分及转换 | 第64-65页 |
| ·esfs核心数据结构设计 | 第65-67页 |
| ·esfs初始化子模块的设计与实现 | 第67-68页 |
| ·esfs文件缓冲区子模块的设计与实现 | 第68-71页 |
| ·创建和删除文件 | 第68-69页 |
| ·打开文件 | 第69-70页 |
| ·读和写文件 | 第70-71页 |
| ·关闭文件 | 第71页 |
| ·flash存储子模块的设计与实现 | 第71-76页 |
| ·flash空间分配 | 第71-72页 |
| ·flash空间回收 | 第72-73页 |
| ·写flash中的文件到内存 | 第73-74页 |
| ·写内存中的文件到flash | 第74-75页 |
| ·其它操作函数 | 第75-76页 |
| ·flash硬件驱动子模块的设计与实现 | 第76-77页 |
| ·flash的基本特点 | 第76页 |
| ·flash硬件驱动子模块提供的函数接口 | 第76-77页 |
| ·esfs安全性机制的实现 | 第77-82页 |
| ·esfs中与安全性实现有关的函数及其实现的安全功能 | 第78页 |
| ·MAC安全机制在esfs中的实现 | 第78-80页 |
| ·客体重用安全机制在esfs中的实现 | 第80页 |
| ·审计事件产生器在esfs中的实现 | 第80-82页 |
| ·本章小结 | 第82-83页 |
| 第六章 系统测试和性能分析 | 第83-95页 |
| ·运行及测试平台 | 第83-86页 |
| ·硬件平台 | 第83-84页 |
| ·软件平台 | 第84-85页 |
| ·ESOS运行测试平台的搭建 | 第85-86页 |
| ·测试方案制定 | 第86-89页 |
| ·存储模块基本功能的测试方案 | 第86-87页 |
| ·实时性测试方案 | 第87-88页 |
| ·安全性测试方案 | 第88-89页 |
| ·测试结果分析 | 第89-95页 |
| ·存储模块基本功能的测试及结果分析 | 第89-92页 |
| ·实时性测试及结果分析 | 第92页 |
| ·安全性测试及结果分析 | 第92-95页 |
| 第七章 总结和展望 | 第95-97页 |
| ·论文总结 | 第95-96页 |
| ·研究展望 | 第96-97页 |
| 主要参考文献 | 第97-101页 |
| 致谢 | 第101-102页 |
| 攻读硕士期间发表的论文和科研情况 | 第102页 |