【摘 要】
：
针对云平台中虚拟机动态完整性难以保证的问题，基于完整性度量机制，提出了一种虚拟机间动态完整性传递模型。该模型在虚拟机监视器中设计了一个验证模块，验证输入者及输入数据的
【机 构】
：
PLA Information Engineering University，Zhengzhou 450000，Chin
论文部分内容阅读
针对云平台中虚拟机动态完整性难以保证的问题，基于完整性度量机制，提出了一种虚拟机间动态完整性传递模型。该模型在虚拟机监视器中设计了一个验证模块，验证输入者及输入数据的完整性，保证了虚拟机之间在传输数据或指令时的动态完整性，且传递的消息完整性也得到验证。基于无干扰理论对模型可信性进行了证明，最后用两组实例验证了该模型的可用性。实验结果表明，该模型对不可信输入和不可信平台都有较好的抵御能力。
其他文献
为了保护用户隐私，在云计算环境对用户隐私的影响基础上，通过对用户隐私的分类研究，设计出一种云环境下用户隐私分类方法。对其中隐私的属性进行研究，利用XML进行属性描述。最后
苹果试管苗的移栽 ,是苹果组培快繁的关键环节之一 ,通常移栽成活株率低 ,成活植株生育状况欠佳。笔者在考虑综合因素的基础上 ,利用促根剂溶液浸沾苹果试管苗根部再移栽 ,明
在各国之间的经济交流和人口流动不断加强的背景下,随着我国遗嘱信托产业的不断发展,我国的涉外遗嘱信托案件也将不断出现。但是,我国2010年颁布施行的《涉外民事关系法律适
生活化教学就是把课堂的教学内容和生活充分结合起来,实现与生活的对接行为。利用生活中的情境和事物来促进学生学习的积极性和思考问题的方式的改进,既可以让学生体验到生活
自非法证据排除规则确立以来，刑事程序性司法审查已悄然登堂入室，越来越多的辩护律师青睐对控方诉讼行为发起挑战，通过宣告控方诉讼行为无效，达到维护被告权益的目的。由于程序性
20世纪九十年代以来,环境对于贸易的影响日益明显,有关环境的贸易争端越来越多。一方面,自由贸易持续推进,另一方面,可持续发展的理念深入人心。贸易与环境的问题引起国际社
由于网络通信具有易错的特点，提出一种具有容错性的隐私保护数据聚集算法。通过椭圆曲线加密方案对节点数据进行加密，保证数据的隐私性，采用加同态加密技术，实现了端到端的聚集加
考试,一直是我国选拔人才的重要途径。在社会的高速发展的今天,社会对不同人才的需求增多,相应的考试也开始日益增多。随考试而来的考试作弊也变得日益猖獗,并且开始呈现产业
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥