| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-20页 |
| ·云计算概述 | 第10-11页 |
| ·虚拟化技术 | 第11-16页 |
| ·概述 | 第11-14页 |
| ·Xen虚拟机系统 | 第14-16页 |
| ·研究背景 | 第16-18页 |
| ·本文研究内容和主要贡献 | 第18-19页 |
| ·本文组织结构 | 第19-20页 |
| 第二章 虚拟机系统安全相关概念与研究工作 | 第20-33页 |
| ·计算机安全和恶意软件 | 第20-21页 |
| ·计算机安全 | 第20页 |
| ·恶意软件 | 第20-21页 |
| ·可信计算 | 第21-24页 |
| ·基本概念 | 第21-22页 |
| ·相关研究 | 第22-24页 |
| ·访问控制 | 第24-25页 |
| ·自主访问控制 | 第24页 |
| ·基于角色的访问控制 | 第24-25页 |
| ·强制访问控制 | 第25页 |
| ·相关研究 | 第25页 |
| ·入侵检测 | 第25-27页 |
| ·实时监控 | 第27-29页 |
| ·隐蔽通道 | 第29-31页 |
| ·其它相关研究 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 Virt-BLP模型和虚拟机系统中关于多级安全的VMAC强制访问控制框架 | 第33-62页 |
| ·概述 | 第33-35页 |
| ·BLP模型 | 第35-39页 |
| ·模型元素 | 第35-37页 |
| ·安全公理 | 第37-38页 |
| ·状态转换规则 | 第38-39页 |
| ·Virt-BLP模型 | 第39-49页 |
| ·模型元素 | 第39-40页 |
| ·安全公理 | 第40-41页 |
| ·状态转换规则 | 第41-45页 |
| ·安全性证明 | 第45-49页 |
| ·VMAC框架的设计 | 第49-51页 |
| ·可信主体 | 第49-50页 |
| ·访问属性的映射 | 第50页 |
| ·访问矩阵和安全等级 | 第50-51页 |
| ·当前访问集合b(S) | 第51页 |
| ·VMAC框架的实现 | 第51-57页 |
| ·假设 | 第52页 |
| ·参照监控器和Xen安全模块 | 第52-53页 |
| ·VBLP访问控制模块的初始化 | 第53页 |
| ·VBLP信息结构体的初始化 | 第53-54页 |
| ·VMAC框架访问控制流程 | 第54-55页 |
| ·VBLPTool的实现 | 第55-57页 |
| ·框架验证实验 | 第57-60页 |
| ·本章小结 | 第60-62页 |
| 第四章 Hyperivm：面向云平台的虚拟机内度量框架 | 第62-81页 |
| ·概述 | 第62-64页 |
| ·相关工作 | 第64-65页 |
| ·Hyperivm虚拟机内度量框架的设计 | 第65-70页 |
| ·假设 | 第66-68页 |
| ·度量 | 第68页 |
| ·存储度量值和PCR扩展运算 | 第68-69页 |
| ·验证 | 第69-70页 |
| ·Hyperivm虚拟机内度量框架的实现 | 第70-74页 |
| ·度量 | 第71页 |
| ·域间通信 | 第71-72页 |
| ·保护度量模块和前端模块 | 第72-74页 |
| ·验证 | 第74页 |
| ·安全性分析和度量实验 | 第74-76页 |
| ·安全性分析 | 第74-75页 |
| ·度量实验 | 第75-76页 |
| ·性能评估 | 第76-80页 |
| ·本章小结 | 第80-81页 |
| 第五章 Hyperchk：面向云平台的虚拟机动态监控框架 | 第81-105页 |
| ·概述 | 第81-82页 |
| ·相关工作 | 第82-83页 |
| ·Hyperchk虚拟机动态监控框架的设计 | 第83-87页 |
| ·设计目标 | 第84-85页 |
| ·假设和风险模型 | 第85页 |
| ·关键值搜索模块 | 第85页 |
| ·标准值生成模块 | 第85-86页 |
| ·内核内存的获取 | 第86页 |
| ·检测攻击 | 第86-87页 |
| ·对攻击的响应 | 第87页 |
| ·Hyperchk虚拟机动态监控框架的实现 | 第87-93页 |
| ·搜索系统调用表的起始地址 | 第87-90页 |
| ·建立标准值列表 | 第90-91页 |
| ·监控和分析内核内存 | 第91页 |
| ·自调整监控频率策略 | 第91-92页 |
| ·对攻击的响应 | 第92-93页 |
| ·安全性分析 | 第93-94页 |
| ·检测实验 | 第94-98页 |
| ·代表性rootkit | 第94-97页 |
| ·其它rootkit | 第97-98页 |
| ·性能评估 | 第98-104页 |
| ·并行负载 | 第98-101页 |
| ·计算密集负载 | 第101-103页 |
| ·网络服务器负载 | 第103-104页 |
| ·本章小结 | 第104-105页 |
| 第六章 总结与未来工作 | 第105-108页 |
| ·本文工作总结 | 第105-107页 |
| ·课题研究展望 | 第107-108页 |
| 参考文献 | 第108-118页 |
| 致谢 | 第118-119页 |
| 攻读博士学位期间已发表或录用的论文 | 第119-120页 |
| 攻读博士学位期间参与及受资助的项目 | 第120-122页 |
