程序的语义远程认证研究  

Research on Program Behavior of Semantic Remote Attestation

作　　者：李宾[1] 彭新光[1] 

机构地区：[1]太原理工大学计算机与软件学院,太原030024

出　　处：《计算机与数字工程》2010年第7期111-114,共4页Computer & Digital Engineering

基　　金：山西省自然科学基金(编号:2009011022-2);留学科研项目(编号:2009-28)资助

摘　　要：针对当前远程认证技术对程序的认证不基于行为、一次性的缺点,用程序在Linux系统下正常运行时产生的系统调用来构建程序的行为模式库,提出将短序列在模式库中出现的概率作为该短序列的权值,通过相对匹配度来衡量程序的行为与模式库的匹配程度,最后通过实验对该方法进行了验证。In order to overcome the shortcomings of current remote attestation,using system calls called when the program is normally running to build the programss behavior model database.The method that using the probability that the short sequence appeared in the behavior model as its weight was proposed.The differences between program behavior and its behavior model was scaled by their relative matching degree.The correctness of the method was proved by experiment.

关 键 词：可信计算 远程认证 语义远程认证 系统调用 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]