云计算中动态完整性传递模型研究 (2014年)

针对云平台中虚拟机动态完整性难以保证的问题，基于完整性度量机制，提出了一种虚拟机间动态完整性传递模型。该模型在虚拟机监视器中设计了一个验证模块，验证输入者及输入数据的完整性，保证了虚拟机之间在传输数据或指令时的动态完整性，且传递的消息完整性也得到验证。基于无干扰理论对模型可信性进行了证明，最后用两组实例验证了该模型的可用性。实验结果表明，该模型对不可信输入和不可信平台都有较好的抵御能力。