[发明专利]多虚拟域环境下针对TPM可信计算的TOCTOU攻击响应方法

说明书

技术领域

本发明涉及计算机信息安全可信计算领域，特别是涉及一种多虚拟域环境下针对TPM可信计算的TOCTOU攻击响应方法。本发明的响应方法通过更新可信平台模块存储的平台信息来防御针对TPM可信计算的TOCTOU攻击。

背景技术

目前大多数商用操作系统将内核程序(包括加载模块)设计成拥有超级用户权限，而且内核程序使用共享线性内存以便为提高系统效率，这导致了仅仅提供软件加载验证的TCG体系结构容易遭受TOCTOU(time of check vstime of use)的攻击。利用Xen虚拟机可以实现一个纯软件方案，来监测针对客户虚拟域TPM可信计算的TOCTOU攻击。目前也有针对TPM可信计算的TOCTOU攻击响应方法。基于图1所示的将虚拟化技术与可信计算技术有机结合的终端平台安全解决方案，作者(Sergey Bratus，Nihal D’Cunha，EvanSparks，Sean Smith，TOCTOU，Traps，and Trusted Computing，TRUST2008)设计了监测以及响应TOCTOU攻击的方案，方法的示意图见图2。针对图2响应系统的安全缺陷，北京交通大学常晓林老师申请了一个克服以上缺陷的响应方法的专利(申请号200910078201.2，一种针对TPM可信计算的TOCTOU攻击响应方法，如图4所示。)，图3为该响应方法的组件示意图，该方法组件包括功能增强的vTPM设备程序和特权域代理模块。

但是以上两种响应方法只适用于单可信虚拟域环境，而在实际大多数情况下，Xen虚拟环境中很可能同时运行多个客户虚拟域，我们有必要实现一种多域环境下针对TOCTOU攻击的响应方法。

发明内容

本发明的目的在于为避免上述现有技术中的不足而提供的一种多虚拟域环境下针对TPM可信计算的TOCTOU攻击响应方法。本发明的方法采用更新TPM存储的平台信息的手段，响应方法的组件包括特权域中实现的(1)功能增强的特权域内核心文件、(2)功能增强的虚拟域管理工具、(3)功能增强的vTPM设备程序、和(4)特权域代理模块，以及虚拟机监控器中实现内存监控模块。在本发明提供的方法中，特权域与虚拟机监控器之间额外定义了1个hypercall(T_hypercall)，用于特权域向虚拟机监控器传递信息，定义10个虚拟中断(T_vIRQ)，用于虚拟机监控器向特权域传递关于某个可信虚拟域的信息，每个虚拟中断对应一个运行的可信虚拟域。

本发明的目的可以通过以下措施来达到：

1.多虚拟域环境下针对TPM可信计算的TOCTOU攻击响应方法，方法组件包括特权域中实现的功能增强的特权域内核心文件、功能增强的虚拟域管理工具、功能增强的vTPM设备程序和特权域代理模块，以及虚拟机监控器中实现内存监控模块；响应方法的具体步骤如下：

步骤1，特权域中通过功能增强的虚拟域管理工具启动虚拟域，功能增强虚拟域管理工具维护一张T_vIRQ与vTPM设备标识号对应表(每个可信客户虚拟域有一个独立的vTPM设备标识号)，该对应表存放在/etc目录下；虚拟域管理工具为每个启动的可信客户虚拟域分配一个没有使用的T_vIRQ，同时更新对应表；当可信客户虚拟域不工作时，虚拟域管理工具解除该虚拟域与T_vIRQ的绑定关系，同时更新对应表；每当对应表内容发生变化时，虚拟域管理工具都将该对应表传递给特权域代理模块，然后特权域代理模块通过T_hypercall传递给虚拟机监控器的内存监控模块；

步骤2，当特权域代理模块接收到虚拟机监控器通过T_vIRQ发来的TOCTOU攻击消息后，会立即根据T_vIRQ的标识号到/etc/目录下的对应表查找对应项，获得vTPM设备标识号；然后在/proc目录下创建文件名为vTPM％s的文件，其中％s表示vTPM设备标识号，并将内容置成1，表示虚拟域内存已被篡改；

步骤3，功能增强的vTPM设备程序接收到来自客户虚拟域的TPM指令时，先不处理TPM指令，而是根据自身的vTPM设备标识号去查找是否有/proc/vTPM$s文件，如果没有或者文件存在但内容为0，则正常处理TPM指令；否则利用当前系统时间为种子，产生一随机数，并用该随机数对指定的PCR寄存器内容进行扩展，同时将/proc/vTPM$s文件的内容置成0，然后再处理TPM指令；