【摘 要】
：
作为云计算的关键技术，虚拟化在安全隔离方面具有极大优势。然而，当前虚拟化平台自身面临着前所未有的安全挑战和威胁。处于核心层的虚拟机监控器(Virtual Machine Monitor, VM
【出 处】
：
第八届中国可信计算与信息安全学术会议
论文部分内容阅读
作为云计算的关键技术，虚拟化在安全隔离方面具有极大优势。然而，当前虚拟化平台自身面临着前所未有的安全挑战和威胁。处于核心层的虚拟机监控器(Virtual Machine Monitor, VMM)完整性保护问题函需研究解决。可信度量是确保VMM完整性的重要方法之一。但是，目前采用的静态可信根度量(Static Root of Trust for Measurement, SRTM)技术只是在平台启动时才进行一次完整性度量，难以满足VMM多次完整性度量需求，并已证明不安全。这种情况下，Intel和AMD推出的动态可信度量技术应运而生，已经成为研究焦点之一。动态完整性度量的关键是如何保证度量过程的正确性和唯一性。但是目前缺乏针对VMM动态完整性度量正确性的形式化分析。动态度量技术领先与理论，缺乏理论层次的深入研究分析，难以从虚拟机监控器( Virtual Machine Monitor.VMM)动态完整性度量是目前保障虚拟化环境安全的重要的手段,但是在针对VMM动态度量正确性、安全性以及稳定性等安全指标方面缺乏理论分析.为此,本文基于VMM动态完度量流程,确立动态度量正确性目标,明确定义动态度量应满足的重要属性,从操作语法、语义及推理规则方面扩展了安全系统逻辑（Logic of Secure Svstems,LS2),据此推导动态度量程序的不变性,验证VMM动态完整性度量应满足的正确性与唯一性.结果分析表明,应用本文扩展的LS2方法分析得出的动态度量结论与该技术实际应用效果一致,说明扩展的LS2方法有效,可为虚拟化环境安全提供理论参考.
其他文献
气象信息网络监控管理平台采用先进的Java EE架构,基于B/S方式,对用户已经部署的各种重要网元设备进行集中管理.该平台可以作为用户的综合性运维管理平台,实现对信息网络系统
目的 探讨院内OA端在病案管理中的应用效果.方法 收集2018年10月-2020年9月病案首页资料,按照时间顺序分为对照组、观察组.2018年10月-2019年9月病案首页资料为对照组46615份
目的 探究腹腔镜下输卵管开窗术与切除术治疗输卵管妊娠的效果比较.方法 选取2017年3月～2018年12月我院收治的116例输卵管妊娠患者,运用随机数字表法将患者分为对照组和实验组
PP_(333),又名多效唑、控长灵。在苹果、梨、山楂、桃、杏、李、樱桃等果树上应用,能使枝条生长量减小,短枝增多,叶片增厚,促进花芽形成;
PP_ (333), also known as paclob
P2P应用大量吞噬网络带宽资源,严重影响网络的正常使用,也带来了很多安全问题,如何准确且高效地识别出P2P应用具有重要的现实意义.文章根据TCP连接的状态转换过程特点,建立了
在信息时代，公钥密码在保障通信安全方面起着至关重要的作用，当前被广泛应用的公钥密码方案有RSA, DSA及ECC等基于数论难题的公钥密码系统。但是，随着量子计算的发展，Shor的量子
黄瓜:含有维生素A、维生素C及钙、磷、铁等成分,含钾尤其丰富,具有解暑清热的功效。黄瓜生熟吃皆可,还可去皮切片,加入少许糖、醋、酱油,味精及大蒜泥拌和佐餐。西瓜:西瓜性
目的 研究分析恶性肿瘤介入治疗后疼痛以及镇痛效果.方法 以2018年9月～2020年9月期间在我院进行介入治疗的20例恶性肿瘤患者为研究对象,所有患者均采取镇痛药物以及分级镇痛干
江西省九江市芙蓉农场１９９９年桃树普遍发生严重的糠片蚧，被害树主干或枝条上蚧虫重叠成堆，多数桃树出现大量枯枝，严重的甚至全株死亡，造成严重减产甚至绝收。 据调查，发生为害严重的原
作为其处理器拓展新市场的努力的一部分,Intel在National Association of Broadcasters会议上展示了用于驱动数字电视的一种未来版Pentium Ⅱ处理器。该展示的核心观点是:In