可信计算动态验证优化建模

作     者：余跃 余发江 孔亚楠 

作者机构：武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 

基　　金：国家自然科学基金(60673071 60970115) 国家863项目(2006AA01Z442 2007AA01Z411) 教育部空天信息安全与可信计算重点实验室开放基金(AISTC2008Q03) 浙江省信息安全重点实验室开放基金 

出 版 物：《武汉理工大学学报》 (Journal of Wuhan University of Technology)

年 卷 期：2010年第32卷第20期

页      码：169-173页

摘      要：目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。

主 题 词：可信计算 动态验证 行为建模 空循环路径 优化 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0812[工学-测绘类] 081202[081202] 

D　O　I：10.3963/j.issn.1671-4431.2010.20.036

馆 藏 号：203803693...