谢晓东

作品数：2被引量：1H指数：1
导出分析报告
供职机构：解放军信息工程大学更多>>
发文主题：区间分析二进制代码代码分析KRIPKE结构恶意代码检测更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《电子与信息学报》《计算机科学》更多>>
所获基金：国家高技术研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象解释的二进制代码变量区间分析被引量：1
《电子与信息学报》2013年第8期1927-1932,共6页高洪博 李清宝 王炜 谢晓东 朱瑜 
"核高基"国家科技重大专项(2009ZX01036);国家863计划项目(2009AA01Z434)资助课题
在二进制代码分析中,传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点,基于抽象解释理论,该文提出字级数据区间和位级数据区间的概念,分别对数值型数据变量和位级数据变量进行抽象表示;将抽象区间用于二进制代...
关键词：二进制代码 代码分析 区间分析 抽象解释 
基于控制流信息的克里普克结构生成方法
《计算机科学》2012年第6期93-97,共5页牛小鹏 李清宝 谢晓东 
国家863项目(2009AA01Z434)资助
恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过...
关键词：模型检测 克里普克结构 控制流 系统状态 标记函数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部