云计算环境下的动态完整性传输模型

“云计算中动态完整性传递模型研究，针对虚拟机的动态完整性问题，提出了一个基于完整性度量机制的模型，通过虚拟机监视器中的验证模块确保数据和指令传输的动态完整性，模型基于无干扰理论证明其可信性，并通过实例验证可用性。” 在云计算环境中，动态完整性是指在系统运行过程中，数据和程序的完整性和未被篡改的状态能够得到持续的保护。由于云平台的分布式和多租户特性，虚拟机（VM）间的通信面临着动态完整性保障的挑战。这篇论文由姜路和鹤荣育共同完成，他们提出了一种新的动态完整性传递模型，旨在解决这一问题。 该模型的核心是引入了完整性度量机制，这是一个用于检查和验证软件组件完整性的技术。在虚拟机监视器（VMM）中添加了一个验证模块，此模块负责在数据或指令从一个虚拟机传输到另一个虚拟机时，验证输入源及其数据的完整性。这样，当数据在虚拟机之间传递时，可以确保其不被恶意修改，同时传递过程中的消息完整性也能得到验证。 论文基于无干扰理论来证明模型的可信性。无干扰理论是可信计算领域的一个关键概念，它意味着一个系统在正常运行时不受未授权的外部干预。通过应用这个理论，作者证明了即使在可能存在不可信输入或不可信平台的情况下，该模型也能有效维护动态完整性。 为了验证模型的实际效果，论文进行了两组实例测试。实验结果显示，该模型对于不可信输入和不可信平台的防御能力较强，能够在一定程度上防止恶意攻击和数据篡改。这为云计算环境中的安全性提供了更可靠的保障。 此外，该研究对于云计算领域的安全性和虚拟机隔离有着重要的理论与实践意义。通过动态完整性传递模型，云服务提供商可以提高客户数据的安全水平，增强用户对云服务的信任。同时，该模型可能成为未来云平台安全架构设计的重要参考。 这篇研究论文探讨了如何在虚拟化环境中实现动态完整性的传递，提供了一种基于完整性度量和无干扰理论的解决方案，有助于提升云计算的安全性能，对于理解和改进云服务的可信计算基础具有深远的影响。