基于无干扰理论的虚拟机可信启动研究

来源 :软件学报 | 被引量 : 0次 | 上传用户:wubo123321
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
云计算作为一种新型高价值计算系统,目前被广泛应用于各行业领域;等保2.0中也提出了对其应用主动免疫可信计算技术进行动态可信验证的要求.云计算模式下,虚拟机作为用户使用云服务的直接载体,其可信启动是虚拟机运行环境可信的基础.但由于虚拟机以进程的形式运行在物理节点上,其启动过程呈现出高动态性,且多虚拟机域间存在非预期干扰等特点;而现有的虚拟机可信启动方案存在虚拟机启动过程的动态防护性不足、缺乏多虚拟域间非预期干扰性排除等问题.针对上述问题,提出一种基于无干扰理论的虚拟机可信启动研究方案.首先,基于无干扰理论,提出了虚拟机进程的运行时可信定理;进一步地,给出了虚拟机可信启动的定义并证明了虚拟机可信启动判定定理.其次,依据虚拟机可信启动判定定理,基于系统调用设计监测控制逻辑,对虚拟机启动过程进行主动动态度量与主动控制.实验结果表明所提方案能够有效排除复杂云环境下多虚拟机间非预期干扰,保证虚拟机启动过程的动态可信性,且性能开销较小.
其他文献
古诗词构思严谨,蕴含历史的韵味,是初中阶段一个重要的学习部分,而也正是因为这样,导致很多学生因为自身理解能力及积累不足,不能有效掌握学习古诗词的方法。本文首先分析了当前初中语文古诗词教学的现状及存在的问题,结合实际教学,从走入文本意境、引发情感共鸣、品味审美风格、领悟创作主旨以及感受诗词韵味等五个方面分别探讨了初中语文古诗词教学的主要方法和策略,以期可以为初中语文教师古诗词教学提供参考教学意见。
为了准确提取时间序列的趋势特征,提出一种基于模态重构与多维评价的时间序列趋势提取算法。定义重要点作为时间序列分段点的候选集,运用自适应噪声的完备经验模态分解方法对时间序列进行分解和模态重构得到全局因子,使用全局因子度量重要点在整体维度上的重要程度,给出特征因子和边界因子的定义并分别用来度量重要点在单点维度和局部维度上的重要程度,根据3个评价因子综合评价重要点来选取分段点。仿真实验结果表明,该方法具
<正>古诗词是中国古典文化的精华,是漫漫历史长河中积淀并流传下来的优秀文学作品,对于弘扬中国传统文化具有重要意义。新一代的中国青年们有必要学习和了解古诗词,接受古诗词的熏陶,做好传统文化的接班人。但是,纵观当前初中语文教学可以发现,虽然古诗词在初中教材中占据较大篇幅,且实际教学中教师也花费大量课时进行古诗词教学,但是由于教学模式单一、文学氛围不足、教学功利性强,使得学生处于被动、强制的状态进行古诗
期刊
【目的】探明耕作实践对新增耕地土壤团聚体数量、结构稳定性及养分含量的影响,为改善新增耕地土壤结构和土壤肥力提供参考。【方法】通过在陕西省眉县上王村开展长期田间定位试验评估传统连续翻耕(MT)、深松-翻耕-深松(ST)及免耕-深松-免耕(NT)的耕作处理对新增耕地土壤含水量、土壤有机质、团聚体大小分布及结构稳定性的影响。【结果】传统连续翻耕处理降低了新增耕地土壤大团聚体数量和土壤持水特性,导致土壤有
期刊
<正>设计意图:绘本《好饿的小蛇》画面简单、颜色鲜艳。有趣的故事内容——小蛇吃什么水果就能变成什么形状的情节深深吸引了孩子的眼球。故事中小蛇吃东西后发出的"啊呜、咕嘟"的声音,加上教师夸张的肢体语言,激发了孩子参与活动的热情。该绘本很适合小班孩子的年龄特点,因此我设计了这节活动。
期刊
<正> 硬皮病为结缔组织疾病之一,现有的治疗方法如肾上腺皮质类固醇激素、静脉封闭、血管扩张剂等,均尚不够满意。我们在探索活血化瘀机理过程中,发现丹参注射液静脉滴注对本病有一定疗效。现将1972~1977年5月间治疗的16例硬皮病患者的临床观察小结报告
期刊
<正>硬皮病是一种原因不明比较难治的结缔组织疾病。病程多半呈慢性经过。病变可分为浮肿期、发硬期及萎缩期三个阶段。翻阅手头中医资料,尚未见有与此病相应的病名记载和描述
期刊
新型环境友好材料的开发是解决能源短缺和环境污染问题的关键。自2011年MXenes被合成以来,独特的二维层状结构、良好的导电性以及丰富的表面官能团使其受到了密切的关注,并被广泛地应用于光催化能源转换、环境污染治理等领域。在众多的MXenes中,Ti3C2TxMXene是最早被报道的也是目前研究最多的材料。研究发现Ti3C2TxMXene在光催化体系中能够促进光生电子-空穴的分离、减少电荷复合,从而
随着互联网技术的日益成熟,以及国际间贸易更加方便同时国内外消费者对于国外商品的需求量的日益增大,跨境电商贸易在我们周围变的更加的普遍也更加的方便,消费者可以通过跨境电商平台轻松买到国外的商品,由于跨境电商商品种类繁多以及不同消费者需要的商品有差异较大,如何在短时间内给消费者推荐符合其想要的跨境电商商品成为了一个具有现实意义的问题。相较于传统的电商商品,跨境电商商品具有挺多的不同的地方,导致在推荐方