范学斌

作品数：1被引量：5H指数：1
导出分析报告
供职机构：国家数字交换系统工程技术研究中心更多>>
发文主题：KRIPKE结构反汇编恶意行为控制流图线性时序逻辑更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》更多>>
所获基金：河南省科技攻关计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的程序恶意行为识别方法被引量：5
《计算机工程》2012年第18期107-110,共4页张一弛 庞建民 范学斌 姚鑫磊 
国家"863"计划基金资助项目(2006AA01Z408;2009AA01Z434);河南省重大科技攻关计划基金资助项目(092101210500)
利用恶意代码所具有的相同或相似的行为特征,提出一种基于模型检测技术的程序恶意行为识别方法。通过对二进制可执行文件进行反汇编,构建程序控制流图,使用Kripke结构对程序建模,利用线性时序逻辑描述典型的恶意行为,采用模型检测器识...
关键词：模型检测 恶意行为 线性时序逻辑 控制流图 反汇编 KRIPKE结构 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部