%0 Journal Article
%T 一种基于控制流的程序行为扩展模型
%A 曾庆凯
%A 陆炜
%J -
%D 2007
%X 提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用重要性,将模型划分为核心模型和辅助模型,以降低模型整体消耗,提高模型学习效率.实验结果表明,该扩展模型较之原模型有更好的覆盖速度、误报率以及检测能力
%K 程序行为模型 异常检测 控制流 不变性约束 系统调用
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20071116&flag=1