基于模型检测的Hyper-V虚拟机监控器的安全性分析

摘要	第1-7页
ABSTRACT	第7-10页
缩略语对照表	第10-13页
第一章 背景	第13-25页
·虚拟机监控器的介绍	第13-16页
·虚拟机监控器存在的安全性问题	第16-18页
·形式化方法在虚拟机监控器安全性分析方面的应用	第18-21页
·非形式化方法在虚拟机监控器安全性分析方面的应用	第21-23页
·论文的主要工作及章节安排	第23-25页
第二章 HYPER-V虚拟机监控器基本架构的分析	第25-35页
·HYPER-V架构的分析	第26-28页
·指令分析	第28-29页
·状态转移的分析	第29-32页
·根据架构建立安全参考模型	第32-33页
·本章小结	第33-35页
第三章 定义CPU的安全参考模型	第35-43页
·形式化的定义主体	第35-37页
·CPU安全参考模型的仿真	第37-42页
·本章小结	第42-43页
第四章 模型检测在内存访问中的应用	第43-51页
·内存分析	第44-46页
·形式化的描述主体	第46-47页
·内存访问的安全参考模型	第47-49页
·本章小结	第49-51页
第五章 模型检测在DOS中的应用	第51-57页
·DoS的分类	第52-53页
·针对DoS攻击的安全断言	第53-54页
·多任务的CPU安全参考模型	第54-56页
·本章小结	第56-57页
第六章 结论	第57-61页
·研究结论	第58-59页
·研究展望	第59-61页
参考文献	第61-65页
致谢	第65-67页
作者简介	第67页