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

摘要：

针对软件动态可信性度量方法和理论研究中存在的问题,提出以行为轨迹和检查点场景来刻画软件行为的动态特性,通过计算系统调用上下文值以及构造系统调用参数关系约束规则来评测行为轨迹和检查点场景的偏离程度.构建了基于软件行为自动机的动态可信评测模型.实验结果表明,本模型能够准确获取软件行为信息,正确检测出攻击行为,且系统开销较低.

关键词：软件行为、行为轨迹、检查点场景、可信评测、自动机

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60873203;国家"八六三"高科技研究发展计划基金项目2008AA01Z101;河北省自然科学F2010000325

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

页数：共8页

页码：2113-2120