摘要
目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。
Current trusted computing platform only verifies the static Hash value of applications,which could not prevent the applications from being dynamically attacked by malicious code.This paper gives one static analysis-based behavior model building method for trusted computing dynamic verification.To optimize our model,we give an improved Floyd algorithm to find and remove ε run cycles in FSA.According to experiment,our method is much superior to the widely used algorithms based on graph theory both in time complexity and space complexity.
出处
《武汉理工大学学报》
CAS
CSCD
北大核心
2010年第20期169-173,共5页
Journal of Wuhan University of Technology
基金
国家自然科学基金(60673071
60970115)
国家863项目(2006AA01Z442
2007AA01Z411)
教育部空天信息安全与可信计算重点实验室开放基金(AISTC2008Q03)
浙江省信息安全重点实验室开放基金
关键词
可信计算
动态验证
行为建模
空循环路径
优化
trusted computing
dynamic verification
behavior model
optimizie
algorithm
