基于访问控制的Hypervisor非控制数据完整性保护

来源：电子与信息学报杂志2015年第10期北京时间：

作者：陈志锋, 李清宝, 张平, 曾光裕

摘要：在虚拟化技术广泛应用的同时虚拟层的安全问题引起了国内外研究人员的密切关注。现有的虚拟机管理器(Hypervisor)完整性保护方法主要针对代码和控制数据的完整性保护，无法抵御非控制数据攻击；采用周期性监控无法提供实时的非控制数据完整性保护。针对现有方法的不足，该文提出了基于UCON的Hypervisor非控制数据完整性保护模型UCONhi。该模型在非控制数据完整性保护需求的基础上简化了UCON模型，继承了UCON模型的连续性和易变性实现非控制数据的实时访问控制。根据攻击样例分析攻击者和攻击对象确定主客体减少安全策略，提高了决策效率；并基于ECA描述UCONhi安全策略，能够有效地决策非控制数据访问合法性。在Xen系统中设计并实现了相应的原型系统Xen-UCONhi，通过实验评测Xen-UCONhi的有效性和性能。结果表明，Xen-UCONhi能够有效阻止针对虚拟机管理器的攻击，且性能开销在10%以内。

关键词：虚拟机管理器, 非控制数据, 使用控制, 完整性保护, 事件条件行为

基金资助：核高基国家科技重大专项(2013JH00103)和国家863目标导向项目(2009AA01Z434)