高安全级别可信操作系统实现研究
| 摘要 | 第1-6页 |
| Abstract | 第6-13页 |
| 第一章 绪论 | 第13-27页 |
| ·引言 | 第13-15页 |
| ·研究背景 | 第15-20页 |
| ·国内外安全操作系统研发的现状 | 第15-17页 |
| ·本课题所涉及的领域 | 第17-18页 |
| ·本课题的研究意意义义 | 第18-20页 |
| ·研究目标和研究内容 | 第20-24页 |
| ·研究目标 | 第20-21页 |
| ·论文的主要研究内容 | 第21-24页 |
| ·论文结构与创新之处 | 第24-27页 |
| ·本论文的组织结构 | 第24-25页 |
| ·论文的主要创新之处 | 第25-27页 |
| 第二章 高安全级别操作系统的访问控制模型 | 第27-45页 |
| ·研究背景 | 第27-28页 |
| ·相关工作 | 第28-29页 |
| ·LBAC模型的传统数学表述方法 | 第29-32页 |
| ·传统LBAC模型的改进 | 第32-36页 |
| ·动态二维多级强制访问控制模型 | 第36-43页 |
| ·小结 | 第43-45页 |
| 第三章 基于信息熵的BLP模型量化分析方法 | 第45-55页 |
| ·研究背景 | 第45-46页 |
| ·用条件熵度量保密性 | 第46-50页 |
| ·下向信息流的保密性 | 第50-53页 |
| ·小结 | 第53-55页 |
| 第四章 可信计算的形式化模型 | 第55-67页 |
| ·研究背景 | 第55-57页 |
| ·行为可预测性与信任的定义 | 第57-60页 |
| ·可信传递的形式化描述 | 第60-65页 |
| ·结论 | 第65-67页 |
| 第五章 可信子集与可信封装 | 第67-79页 |
| ·研究背景 | 第67-68页 |
| ·局部可信验证的形式化模型 | 第68-70页 |
| ·应用程序的可信封装机制 | 第70-73页 |
| ·可信封装实例：对proftpd的封装 | 第73-78页 |
| ·小结 | 第78-79页 |
| 第六章 操作系统的安全机制 | 第79-91页 |
| ·研究背景 | 第79-80页 |
| ·引用监视器的透明实现方案 | 第80-82页 |
| ·操作系统内部的动态安全机制 | 第82-87页 |
| ·Linux环境下的透明安全机制实现 | 第87-90页 |
| ·结论 | 第90-91页 |
| 第七章 高安全级别操作系统的结构化实现 | 第91-103页 |
| ·研究背景 | 第91-92页 |
| ·结构化保护的相关标准规范 | 第92-94页 |
| ·程序结构化的实现方法 | 第94-98页 |
| ·数据结构化和连接结构化 | 第98-99页 |
| ·隐蔽信道的防护 | 第99-102页 |
| ·结论 | 第102-103页 |
| 第八章 总结 | 第103-110页 |
| ·论文的主要贡献 | 第103-106页 |
| ·论文的形式化方法思路 | 第106-108页 |
| ·进一步的工作 | 第108-110页 |
| 参考文献 | 第110-121页 |
| 发表文章目录 | 第121-122页 |
| 简历 | 第122-123页 |
| 致谢 | 第123-124页 |
