一种基于安全虚拟机内省的动态可信证明方法.pdfVIP

种基于安全虚拟机内省的动态可信证明方法 1 1、2 1、2 光源 ，沈昌祥 ，刘毅 (1. 京工业大学 京市可信计算重点实验室，北京 100124 ； 2. 海军计算技术研究所，北京 100841) 摘要：现有的复杂网络计算环境中安全问题日益严峻，使人们对于可信计算环境的需求非常急迫。可信证明技术是可信 计算中非常重要的特性，为解决计算平台可信问题提供了新的研究方向。但是，现有的可信证明方法存在证据获取不及 时、缺乏对于证明方的隐私保护以及证明方法自身安全性等问题，针对这些问题本文提供一种基于安全虚拟机内省的动 态可信证明方法。首先，利用确定下推自动机（Deterministic Push Down Automata ，DPDA ）建立程序的预期行为模型， Virtual Machine Introspection VMI 然后，通过虚拟机内省技术 （