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

摘要：

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

关键词： 可信计算 动态验证 行为模型

作者: 余跃 余发江 孔亚楠

作者单位: 武汉大学 计算机学院,湖北 武汉 430072

会议类型: 国内会议

会议名称: 第十七届全国网络与数据通信学术会议(NDCC2010)

会议地点: 秦皇岛

会议语种:中文

页码: 329-332

在线出版日期: 2010-09-16（万方平台首次上网日期，不代表论文的发表时间）