嵌入式操作系统信息安全核技术的研究与实现
| 第一章 绪 论 | 第1-18页 |
| ·课题背景 | 第10-11页 |
| ·安全操作系统技术的国内外研究动态 | 第11-15页 |
| ·研究内容 | 第15页 |
| ·论文章节安排 | 第15-18页 |
| 第二章 安全操作系统相关技术研究 | 第18-34页 |
| ·安全操作系统概述 | 第18-19页 |
| ·安全操作系统的硬件安全机制 | 第19-21页 |
| ·存储保护 | 第19-20页 |
| ·运行保护 | 第20-21页 |
| ·I/O保护 | 第21页 |
| ·安全操作系统的软件安全机制 | 第21-25页 |
| ·标识与鉴别 | 第21-22页 |
| ·访问控制 | 第22页 |
| ·可信通路 | 第22页 |
| ·最小特权管理 | 第22-23页 |
| ·隐蔽通道分析 | 第23-24页 |
| ·安全审计 | 第24页 |
| ·病毒保护 | 第24-25页 |
| ·安全操作系统的实现方法 | 第25-26页 |
| ·虚拟机法 | 第25-26页 |
| ·改进/增强法 | 第26页 |
| ·仿真法 | 第26页 |
| ·嵌入式安全操作系统实现方法 | 第26-30页 |
| ·几种安全核技术的比较 | 第30-32页 |
| ·小结 | 第32-34页 |
| 第三章 安全评价标准及安全策略模型 | 第34-46页 |
| ·计算机安全评价标准 | 第34-36页 |
| ·嵌入式安全操作系统的安全评价标准 | 第36-37页 |
| ·安全策略模型 | 第37-42页 |
| ·安全策略模型的作用和特点 | 第37页 |
| ·安全策略模型介绍 | 第37-38页 |
| ·几种通用的安全模型 | 第38-42页 |
| ·基于角色的存取控制(RBAC)模型 | 第38-39页 |
| ·MLS策略模型 | 第39-40页 |
| ·BLP模型 | 第40-41页 |
| ·Biba模型 | 第41页 |
| ·DTE策略模型 | 第41-42页 |
| ·嵌入式安全操作系统的安全策略模型 | 第42-44页 |
| ·小结 | 第44-46页 |
| 第四章 嵌入式系统身份认证及访问控制技术的研究 | 第46-54页 |
| ·身份认证技术相关理论 | 第46页 |
| ·身份认证实现技术 | 第46-49页 |
| ·通用操作系统中身份认证的实现方法 | 第48页 |
| ·嵌入式操作系统中身份认证实现技术 | 第48-49页 |
| ·一些身份认证工具 | 第49页 |
| ·访问控制技术原理 | 第49-52页 |
| ·自主访问控制机制 | 第50-51页 |
| ·强制访问控制 | 第51-52页 |
| ·嵌入式系统中访问控制技术特点 | 第52页 |
| ·小结 | 第52-54页 |
| 第五章 安全核结构设计 | 第54-68页 |
| ·安全核设计要求 | 第54页 |
| ·安全核设计原则 | 第54-56页 |
| ·安全核体系结构 | 第56-66页 |
| ·GFAC框架 | 第56-57页 |
| ·Flask体系结构 | 第57-58页 |
| ·本系统的安全核体系结构 | 第58-60页 |
| ·访问控制工作原理 | 第60页 |
| ·策略服务器原理 | 第60-62页 |
| ·支持多策略的设计 | 第62-64页 |
| ·支持动态策略的设计 | 第64-65页 |
| ·支持安全策略在线升级的设计 | 第65-66页 |
| ·小结 | 第66-68页 |
| 第六章 基于CRTOS II安全核的实现 | 第68-98页 |
| ·CRTOS II内核介绍 | 第68-69页 |
| ·安全核中各模块的实现 | 第69-97页 |
| ·策略服务器 | 第69-71页 |
| ·访问监视器 | 第71-85页 |
| ·安全钩子数据结构 | 第71-76页 |
| ·访问监视器中主要的全局变量和宏定义 | 第76页 |
| ·访问监视器中主要函数接口 | 第76-85页 |
| ·策略缓存 | 第85-92页 |
| ·策略缓存主要的数据结构 | 第86-87页 |
| ·策略缓存主要函数接口 | 第87-92页 |
| ·安全审计 | 第92-93页 |
| ·身份认证 | 第93-94页 |
| ·策略语言和配置工具 | 第94-96页 |
| ·安全策略的在线升级 | 第96-97页 |
| ·安全核的启动过程 | 第97页 |
| ·小结 | 第97-98页 |
| 第七章 安全核原型测试 | 第98-106页 |
| ·测试环境 | 第98-99页 |
| ·硬件环境 | 第98页 |
| ·软件环境 | 第98-99页 |
| ·功能测试 | 第99-103页 |
| ·时间性能测试 | 第103-104页 |
| ·空间性能测试 | 第104页 |
| ·小结 | 第104-106页 |
| 第八章 结束语 | 第106-108页 |
| 参考文献 | 第108-111页 |
| 致 谢 | 第111-112页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第112页 |
