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