DTE模型在XCP系统中设计与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-15页 |
| ·引言 | 第9页 |
| ·课题背景 | 第9-10页 |
| ·国内外相关领域的研究现状 | 第10-13页 |
| ·Xen的完整性现状 | 第10页 |
| ·XCP的完整性现状 | 第10-12页 |
| ·完整性模型的现状 | 第12页 |
| ·XCP系统中完整性面临的问题与设计实现 | 第12-13页 |
| ·论文研究内容和技术路线 | 第13-14页 |
| ·研究内容 | 第13-14页 |
| ·技术路线 | 第14页 |
| ·研究目标 | 第14页 |
| ·论文的组织结构 | 第14-15页 |
| 第二章 系统综述 | 第15-32页 |
| ·Xen虚拟机技术 | 第15-26页 |
| ·虚拟化技术简介 | 第16-18页 |
| ·Xen系统架构 | 第18页 |
| ·Hypervisor | 第18-20页 |
| ·Xen基本机制 | 第20-22页 |
| ·Xen子系统 | 第22-23页 |
| ·Xen安全机制 | 第23-26页 |
| ·XCP | 第26-28页 |
| ·XCP简介 | 第26-27页 |
| ·XCP特性 | 第27-28页 |
| ·XCP安全性 | 第28页 |
| ·完整性 | 第28-31页 |
| ·完整性原理 | 第28页 |
| ·完整性模型 | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第三章 基于DTE实现完整性保护形式化模型 | 第32-40页 |
| ·DTE模型详细描述 | 第32-38页 |
| ·DTE模型实现完整性保护的原理及相关术语 | 第32页 |
| ·组织级安全策略 | 第32-33页 |
| ·模型变量以及常量 | 第33-34页 |
| ·模型不变量 | 第34-35页 |
| ·模型规则及限制条件 | 第35-38页 |
| ·基本的安全定理 | 第38页 |
| ·DTE模型整体实施过程分析 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 DTE模型在XCP中对应性设计与研究 | 第40-56页 |
| ·基本思路 | 第40-43页 |
| ·基于完整性保护的最小主体集与非最小主体集的划分 | 第40-41页 |
| ·主体访问控制分析 | 第41-42页 |
| ·完整性冲突的确认和解决 | 第42-43页 |
| ·总体设计 | 第43-48页 |
| ·XCP中DTE结构图 | 第43-45页 |
| ·DTE模块结构图 | 第45-47页 |
| ·策略流程分析 | 第47-48页 |
| ·模块详细设计 | 第48-53页 |
| ·信息提取模块 | 第48-50页 |
| ·策略语义分析模块 | 第50-51页 |
| ·主体访问集合构建模块 | 第51-53页 |
| ·完整性分析模块 | 第53页 |
| ·DTE模型与XCP问题对应性分析 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 第五章 DTE模型在XCP系统中关键技术实现 | 第56-60页 |
| ·DTE模型开发环境 | 第56页 |
| ·XCP系统完整性应用 | 第56页 |
| ·关键技术实现 | 第56-58页 |
| ·XCP系统完整性测试 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 主要成果以及研究展望 | 第60-62页 |
| ·全文总结 | 第60页 |
| ·研究内容总结 | 第60页 |
| ·研究创新点 | 第60页 |
| ·工作展望 | 第60-62页 |
| 参考文献 | 第62-65页 |
| 攻读硕士学位期间发表的学术论文 | 第65-66页 |
| 致谢 | 第66页 |
