面向电力领域安全嵌入式操作系统的研究与设计
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-16页 |
| ·引言 | 第11页 |
| ·嵌入式操作系统发展概述 | 第11-13页 |
| ·国外主流的嵌入式操作系统 | 第12页 |
| ·国内的发展情况 | 第12-13页 |
| ·本论文的研究背景及意义 | 第13-14页 |
| ·论文的主要工作及结构安排 | 第14-16页 |
| 第二章 系统需求分析和规划设计 | 第16-29页 |
| ·嵌入式系统安全性讨论 | 第16-17页 |
| ·嵌入式操作系统特性 | 第16页 |
| ·嵌入式操作系统安全的特殊性 | 第16-17页 |
| ·应用背景分析 | 第17-20页 |
| ·功能需求分析 | 第18-19页 |
| ·系统安全威胁 | 第19-20页 |
| ·子站系统设计要求 | 第20-21页 |
| ·系统安全策略 | 第21-23页 |
| ·访问控制策略的简介 | 第22-23页 |
| ·访问控制策略的制定 | 第23页 |
| ·系统设计方案 | 第23-28页 |
| ·系统设计模式 | 第23-24页 |
| ·系统的层次划分 | 第24-25页 |
| ·系统整体设计方案 | 第25-28页 |
| ·小结 | 第28-29页 |
| 第三章 μBLP安全模型的研究及其Z语言规范描述 | 第29-43页 |
| ·安全模型介绍 | 第29-30页 |
| ·信息流模型 | 第29页 |
| ·访问控制模型 | 第29-30页 |
| ·嵌入式系统实施安全模型的特殊性 | 第30-31页 |
| ·μBLP安全模型的设计 | 第31-38页 |
| ·针对BLP模型完整性控制的修改 | 第31-32页 |
| ·针对嵌入式特性的修改 | 第32-33页 |
| ·μBLP模型设计 | 第33-38页 |
| ·模型的Z语言表示 | 第38-42页 |
| ·Z语言简介 | 第38页 |
| ·μBLP模型规范化描述 | 第38-42页 |
| ·小结 | 第42-43页 |
| 第四章 内核安全访问控制的设计与实现 | 第43-64页 |
| ·安全内核设计原则 | 第43-44页 |
| ·内核介绍和调用分析 | 第44-45页 |
| ·安全内核的设计方案 | 第45-49页 |
| ·内核安全访问控制的实现 | 第49-59页 |
| ·决策缓冲机制的引入 | 第49-53页 |
| ·访问监视器的设计 | 第53-55页 |
| ·策略缓存的设计 | 第55-56页 |
| ·仲裁服务器的设计 | 第56-59页 |
| ·审计子系统的设计与实现 | 第59-63页 |
| ·小结 | 第63-64页 |
| 第五章 系统其他模块的设计 | 第64-77页 |
| ·原型内核内存管理缺陷 | 第64-65页 |
| ·内存管理的改进 | 第65-67页 |
| ·内存的分区设计 | 第65页 |
| ·内存管理模块的划分 | 第65-67页 |
| ·文件系统的设计 | 第67-72页 |
| ·文件的分区 | 第67-68页 |
| ·文件系统子模块的划分 | 第68-69页 |
| ·与内存管理模块的接口 | 第69-70页 |
| ·文件系统外部接口 | 第70-72页 |
| ·安全网络模块 | 第72-76页 |
| ·网络模块主客体分析 | 第73-74页 |
| ·网络模块外部接口 | 第74页 |
| ·与内存管理接口 | 第74-76页 |
| ·小结 | 第76-77页 |
| 第六章 内核测试和性能分析 | 第77-87页 |
| ·测试环境的搭建 | 第77-79页 |
| ·系统测试方案制定 | 第79-86页 |
| ·内核的功能性测试 | 第79-82页 |
| ·内核访问控制测试 | 第82-84页 |
| ·内核性能测试 | 第84-86页 |
| ·结论 | 第86-87页 |
| 第七章 总结和展望 | 第87-89页 |
| ·总结 | 第87-88页 |
| ·研究展望 | 第88-89页 |
| 参考文献 | 第89-92页 |
| 致谢 | 第92-93页 |
| 攻读硕士期间发表的论文(获奖)和科研情况 | 第93页 |
| 科技论文 | 第93页 |
| 参与的科研项目 | 第93页 |
