基于静态分析的可信计算动态验证行为建模

摘要

目前,可信计算平台只验证应用程序的静态散列值,不能防止应用程序遭受动态攻击。本文提出了一个基于静态分析的可信计算动态验证行为建模方法,其中包括CFG的建立,FSA的构造,ε空循环路径的查找和消除,DFA的构造,无用FSA去除和全局PDA的构建。本文提出了一种修改后的Floyd算法,用于查找ε空循环路径,从而进一步优化模型。根据试验结果,这种方法建立的模型是一个简化的动态验证模型。