[论文解读] Virtualization Technologies and Cloud Security: advantages, issues, and perspectives

Roberto Di Pietro, Flavio Lombardi|arXiv (Cornell University)|Jul 29, 2018

Security and Verification in Computing参考文献 47被引用 4

一句话总结

本文研究了云环境中虚拟化技术的安全性，分析了其安全优势，如强隔离性和透明的虚拟机 introspection（内部检查），同时识别出关键漏洞，如硬件级别的侧信道攻击。本文对虚拟化技术进行了全面的安全评估，强调持续存在的威胁以及未来安全云计算的研究方向。

ABSTRACT

Virtualization technologies allow multiple tenants to share physical resources with a degree of security and isolation that cannot be guaranteed by mere containerization. Further, virtualization allows protected transparent introspection of Virtual Machine activity and content, thus supporting additional control and monitoring. These features provide an explanation, although partial, of why virtualization has been an enabler for the flourishing of cloud services. Nevertheless, security and privacy issues are still present in virtualization technology and hence in Cloud platforms. As an example, even hardware virtualization protection/isolation is far from being perfect and uncircumventable, as recently discovered vulnerabilities show. The objective of this paper is to shed light on current virtualization technology and its evolution from the point of view of security, having as an objective its applications to the Cloud setting.

研究动机与目标

• 分析虚拟化技术在实现可扩展且隔离的云服务方面的安全优势。
• 识别虚拟化中持续存在的安全与隐私问题，尤其是在硬件和虚拟机监视器（hypervisor）层面。
• 评估当前基于虚拟化的安全控制措施（如透明 introspection 和隔离机制）的有效性。
• 突出新兴威胁，包括侧信道攻击，这些威胁正在破坏虚拟化的安全保证。
• 为应对不断演变的威胁，提供面向未来虚拟化云基础设施安全研究的路线图。

提出的方法

• 调研现有的虚拟化技术，包括全虚拟化、半虚拟化以及硬件辅助虚拟化（如 Intel VT-x、AMD-V）。
• 分析虚拟机（VM）的安全模型以及虚拟机监视器在强制隔离中的作用。
• 评估透明 introspection 技术，该技术可在不依赖客户操作系统感知的情况下监控 VM 活动。
• 审查虚拟化栈中的已知漏洞，包括硬件虚拟化扩展中的漏洞（如 Meltdown、Spectre）。
• 比较不同虚拟化层级和部署模型下的隔离保证。
• 综合分析先前关于虚拟化安全的研究成果，包括与早期研究的重叠（如 arXiv:1702.07521）。

实验结果

研究问题

• RQ1 虚拟化在云计算环境中提供了哪些主要安全优势？
• RQ2 现代虚拟化技术在多大程度上能确保共置虚拟机之间的强隔离？
• RQ3 硬件级别漏洞（如侧信道攻击）如何破坏虚拟化安全？
• RQ4 透明 introspection 在增强虚拟化云中监控与安全策略执行方面有哪些作用？
• RQ5 在保护虚拟化云平台方面，存在哪些关键开放挑战和未来研究方向？

主要发现

• 虚拟化支持强资源隔离，并支持透明 introspection，从而增强了云环境中对工作负载的监控与控制能力。
• 尽管具有这些优势，硬件虚拟化并非对所有攻击免疫，近期的漏洞（如 Meltdown 和 Spectre）已证明这一点。
• 侧信道攻击可绕过传统隔离机制，导致跨虚拟机边界泄露敏感数据。
• 虚拟机监视器仍是关键攻击面，其设计或实现中的缺陷可能危及所有客户虚拟机。
• 现有的虚拟化安全机制在应对高级隐蔽信道攻击方面仍显不足。
• 未来的云安全必须整合硬件、软件和监控层面的防御措施，以应对虚拟化基础设施中不断演变的威胁。