基于Domain T架构的Xen虚拟机身份认证与信任扩展研究

来源 :北京工业大学 | 被引量 : 0次 | 上传用户:huanan_0909
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
云计算将大规模的计算资源虚拟化共享后,通过互联网以服务的方式按需提供给外部用户。然而,云平台的管理权由用户自身享有转向为云服务商控制,云计算的多租户特点可能造成虚拟基础软件的安全管理隐患。因此,需要建立有效的安全机制,使云服务器的执行具有可信性。本文对云环境中具有代表性的开源虚拟机监控系统Xen进行深入研究,发现目前的Xen系统存在以下问题:特权域功能冗杂,数据有被篡改的风险;缺少符合TCG规范的虚拟可信证书生成方法;客户虚拟机信任链完整性不足。有鉴于此,本文从系统架构层面提出了基于可信虚拟域Domain T的Xen的改进方案,同时配合该架构设计了Domain T的异常检测方法,以及vTPM的虚拟可信证书生成方法和客户虚拟机的完整性度量方法,并分别对以上系统和方法进行了实现。本文主要研究内容如下:首先,本文在对相关领域研究进行综述的基础上详细分析了Xen的TPM虚拟化方案存在的风险与隐患,针对特权域TCB过大、vTPM计算性能受限以及数据安全风险的问题,设计了独立的可信虚拟域Domain T。Domain T中包含vTPM manager模块与vTPM实例模块,并在模块迁移过程中对vTPM请求调度机制进行了优化。一般情况下,Xen的虚拟机资源隔离机制能够保障独立后的Domain T内部数据不被恶意篡改,然而这一机制实际存在被绕过的可能。因此,本文提出一种基于软件可信性分析和有限自动机的软件行为检测方案,避免了Domain T中的函数被其他虚拟域恶意调用导致可信计算数据遭到破坏。其次,本文对现有vTPM虚拟证书链构建方法展开研究,发现普遍存在使用AIK密钥对TPM外部数据进行签名的合规性问题以及依赖AIK证书而导致的vAIK证书时效性差问题。因此,本文引入Domain T域身份密钥tEK,提出CA向Domain T签发tEK证书、Domain T向vTPM签发vEK证书的虚拟证书链扩展方案,保证了vAIK证书的合法性。同时,本文为解决Xen环境下客户虚拟机与一般物理机的启动流程差异所造成的信任链完整性不足问题,在对比分析现有客户机完整性度量方法的基础上,对不同类型的虚拟机启动流程展开研究,分别设计并优化了针对PV虚拟机和HVM虚拟机的虚拟信任链构建方案,从而实现了硬件信任链的延伸。最后,本文基于对Xen的改进建立起Domain T系统架构,并对Domain T的异常检测方法以及虚拟证书链与信任链的构建方案进行了实现。通过系统运行实验、Domain T异常检测实验、vTPM信任链延伸实验、客户机系统远程证明实验以及vTPM性能测试实验,证明本方案在增强可信虚拟域安全性、提高vTPM计算性能的同时,相比现有方法提供了更有效的客户虚拟机证书生成和身份认证的能力,并且能够对客户虚拟机的完整性进行精准度量。
其他文献
SWAT(Soil and Water Assessment Tool)模型是对大尺度复杂流域进行长时期水文模拟的重要工具,在水文循环、土壤侵蚀、污染物负荷、气候变化与土地利用变化的影响等方面得到
现如今,互联网的发展如火如荼,催生了多种网络应用。特别是Web2.0与大数据时代的到来,通过大量的网络新闻数据来分析股市,个人理财,关注国家财政大事。网络新闻这一简单快捷的方式,逐渐受到了越来越多用户的青睐。然而各大新闻网站每天报道的新闻数目繁多,质量良莠不齐,用户不可能耗费精力全部查看进而获得有用信息,用户往往只关注网络热点新闻,因此本文针对网络热点新闻的预测问题展开研究,结合新闻文本的特点,论
一、波兰电影:新世纪发展与突破长期以来,波兰电影即是欧洲乃至世界影坛上不容小视的代表力量。闻名于电影史的波兰电影学派(Polish Film School)独树一帜,以严肃的社会承担
本文作者从学校、学生、家庭、社会等方面分析我国德育存在的问题,借鉴国外德育工作先进方法,提出了新时期高职院校增强德育教育实效性的对策。
记者如约走进沈长明的办公室,首先映入眼帘的是一处处陈列的艺术品,从坐北朝南的毛泽东全身铜像,到墙壁上悬挂的名家国画《赏秋》,再到不同造型的精美石雕,无不显示着沈总不
【正】 从古到今,大海的波涛激荡着中西方无数诗人作家的生命情怀。除了经济、交通等实用价值,它还融汇与延伸着不同的文化意识、审美情趣与想象。内中奥妙我们可以从文学中
<正>就中国情况而言,历史上中国的革命和建设受苏联社会主义模式的影响很大、很深、很久。对于这种影响,我们不仅要"一分为二",而且要分不同的历史时期来认识。改革开放以前,
采用MMS-300热/力模拟试验机研究了"水冷+保温+淬火"冷却模式下工艺参数对C-Mn双相钢铁素体体积分数的影响,并进行了实验钢的热轧实验。结果表明,随着变形后冷却速度的提高,
<正>业界有个不是秘密的秘密,就是奢侈品的营销手段和推广宣传都要高冷,也就是要与普罗大众保持恰当的距离,才有利于维持奢侈品的权威性与神秘感。奢侈品有一种暗地里的恐慌,
必应(Bing)是一个全新的搜索引擎,是微软公司根据中国用户搜索特点而提供的网络搜索引擎,2009年才在中国上线。其搜索特色中,"快捷直达"、图片搜索无止境、视频悬停预览、以