一个新的软件行为动态可信评测模型.pdfVIP

才、翻微型计算机系统 2010 年 11 月第11 期 Journal of Chinese Computer Systems Vot 31 No.ll 2010 一个新的软件行为动态可信评测模型 杨晓晖1 气周学海1 ，回俊峰2 ，学珍2 1 (中国科学技术大学计算机抖学与技术学院，安徽合肥 23∞27) 2( 河北大学网络技术研究所，河北保定071∞2) E-mail:yxh@ 摘 要:针对软件动态可信性皮囊方法和段论研究中存在的问题，提出以行为轨迹和检查点场景来刻画软件行为的动感特性， 通过计算系统调用上下义位以及构造系统调用参数关系约求规则来许测行为轨迹和检查点场景的偏离稳皮，构建了基于软件 行为自动机的动态可信评如!挨骂t 实验结采农明，本模型能够准确获取软件行为信息，正确枪测出攻击行为，.ll系统开销较低. 提键词:软件行为;行为轨迹:检查点场景;可倍评测:自动机 中团分提号:TP31l 文献标识码:A 立意编号:1删帽1220(2010) 11-2113-08 Novel Dynamic Trusted Evaluation Model of Software Behavior l 2 l 2 2 Y州G 泪ao-hui • ,ZHOU Xue-hai ， ηAN Jun-feng ,LI Zhen 1 (Sclwol 01 Computer Science Technology , University 01 Science TechfWlogy 01 China ， H.呐i23∞27 ， China) 2 (lnstitute 01 Network Technology ,Hebei Universi纱， ， Baoding 0710归， China) Abstract: In order to improve current dynamic trusted evaluation theori巳s and methods of so企ware ， the conceptions of behavior 阳，ce and checkpoint scene are proposedωdepict the dynamic characteristics of software behaviors ,the deviation degrees of behavior trace and checkpoint scene are measured by compu阳g system call context values and formulating relationshipωnstr挝nt rules of system call arguments , and a dynamic trusted evaluation model is built based on so丘ware behavior auωmaωn. Experimental results show that 也is novel model can accuratelyφ国n infonnation on so.位ware behavior and correctly detect attacks with lower overhead. Key words: so位ware behavior; behavior trace; checkpoint scene; trusted ev血luation; automaton 时系统资掘的静态究黯性，并不能确保系统工作扁的动森可 1 引窗 信他 在信息时代，信息已经成为一种重要的战略资掘，借息资 在TCG规施所描述的倍任链扩展过程中，可信计算机采 源和信息系统的安企事关国家安金和社会稳定，保障信息安