具有瀑布特征的可信虚拟平台信任链模型

摘要 将虚拟化技术与可信计算相结合构建的可信虚拟平台及其信任链模型是目前的一个研究热点。目前大部分的研究成果采用在虚拟平台上扩展传统信任链的构建方法，不仅模型过粗且逻辑不完全合理，而且还存在底层虚拟化平台和顶层用户虚拟机两条分离的信任链问题。为此，提出一种具有瀑布特征的信任链模型——TVP-QT，该模型以硬件可信平台模块（TPM）为起点，在底层虚拟化平台和顶层用户虚拟机信任链之间加入可信衔接点。当信任链从底层虚拟化平台传递到可信衔接点时，由可信衔接点负责对用户虚拟机的可信虚拟平台模块（vTPM）进行度量，之后将控制权交给vTPM，由vTPM负责对用户虚拟机启动的组件及应用进行度量。该模型中可信衔接点具有承上启下的瀑布特征，能满足虚拟化环境的层次性和动态性特征，保证了整个可信虚拟平台的可信性。不仅从理论上证明了该模型的正确性，而且对实例系统的分析和讨论也表明了该模型的通用性与可行性；在Xen中对该模型进行了仿真实验，实验结果表明该信任链传递理论可以保证可信虚拟化环境在整个运行过程是安全可信的