国家高技术研究发展计划(2007AA01Z483)

作品数：31被引量：121H指数：5
导出分析报告
相关作者：王震宇蒋烈辉尹青窦增杰李继中更多>>
相关机构：解放军信息工程大学中国人民解放军信息工程大学北京九州泰康生物科技有限责任公司中国人民解放军更多>>
相关期刊：《山东大学学报（理学版）》《计算机工程与设计》《信息工程大学学报》《计算机应用与软件》更多>>
相关主题：反编译二进制代码控制流分析可执行代码数据流分析更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于规则的数据类型重构技术研究
《计算机工程》2012年第19期30-33,共4页尹青 何东 李娜 何红旗 
国家"863"计划基金资助项目(2007AA01Z483);河南省科技攻关计划基金资助项目(092101210503)
为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变...
关键词：反编译 类型重构 类型约束 中间语言 类型格 
操作系统可信机制功能模型研究被引量：60
《工业控制计算机》2012年第9期26-28,共3页勾慧兰 刘光超 
国家高技术研究发展计划（863计划）基金项目（2007AA01Z483）
提出了一种操作系统可信机制功能模型建立方法,基于XML设计了存储结构,并用于可信机制层次功能模型的存储和转换;设计了IDA反汇编工具的相关插件,实现了从二进制代码中自动抽取和保存函数依赖关系、函数CFG图和层次功能模型的功能。
关键词：操作系统 逆向分析 功能模型 函数依赖 二进制代码 CFG图 
操作系统可信机制功能模型研究
《山东大学学报（理学版）》2012年第9期26-31,37,共7页郜伟 高红霞 何静 
国家高技术研究发展计划(863计划)基金项目(2007AA01Z483)
提出了一种操作系统可信机制功能模型建立方法,基于XML设计了存储结构,并用于可信机制层次功能模型的存储和转换;设计了IDA反汇编工具的相关插件,实现了从二进制代码中自动抽取和保存函数依赖关系、函数CFG图和层次功能模型的功能。
关键词：操作系统 逆向分析 功能模型 函数依赖 二进制代码 CFG图 
反编译中数据类型自动重构技术研究被引量：1
《计算机科学》2012年第5期133-136,共4页何东 尹青 谢耀宾 井静 
国家"863"计划基金(2007AA01Z483);河南省科技攻关(092101210503)资助
类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化...
关键词：反编译 类型重构 类型依赖方程 等价类 
基于IDA处理器模块扩充的描述语言建立
《计算机工程》2012年第2期45-47,共3页刘晋汾 尹青 蒋烈辉 刘铁铭 
国家"863"计划基金资助项目(2007AA01Z483);河南省高新领域攻关计划基金资助重点项目(082102210011)
目前的IDA不能支持所有处理器模型的反汇编。为此,给出一种适用于IDA处理器模块自动生成的反汇编描述语言,为IDA处理器模块插件的扩充提供支持。该描述语言采用基于上下文无关文法的属性文法表现形式,包括对处理器存储系统的声明以及对...
关键词：IDA插件 处理器模块 描述语言 上下文无关文法 属性文法 
基于特征表达式的算法识别技术
《计算机工程》2011年第24期32-35,共4页方霞 吕红 尹青 张杰 王丽娜 
国家"863"计划基金资助项目(2007AA01Z483)
以代码逆向分析得到的高级语言为基础,提取特征表达式作为算法的特征模式。综合考虑高级语言中表达式的恢复程度,设计严格相容与变形相容2种识别策略,在此基础上提出一种基于抽象语法树的算法特征表达式识别方法,利用该方法可较好地识...
关键词：代码逆向分析 算法识别 抽象语法树 特征表达 相容 
一种基于ARM微处理器的嵌入式代码语义属性分析方法
《计算机科学》2011年第12期284-287,292,共5页刘铁铭 蒋烈辉 井靖 李继中 
国家高技术研究发展计划(863计划)项目(2006AA01Z408;2006AA01Z409);国家高技术研究发展计划(863计划)项目(2007AA01Z483);河南省高新领域重点攻关基金资助项目(082102210011)资助
通过深入研究ARM指令系统的特点及其编译后的代码特征,构建了基于ARM微处理器的二进制嵌入式代码解析模型,讨论了基于ARM体系结构的嵌入式代码语义分析方法。从指令和指令序列两种粒度级别分别讨论了代码语义属性的抽取方法,并分析了基...
关键词：ARM微处理器 语义属性 嵌入式代码 编译特征 指令序列 
基于控制流分析的隐藏代码动态捕获方法
《计算机工程》2011年第21期23-25,共3页刘建林 王震宇 蒋烈辉 谢耀滨 刘絮颖 
国家"863"计划基金资助项目(2007AA01Z483);河南省高新领域重点攻关计划基金资助项目(082102210011)
为获取并分析采用加壳、控制流混淆技术所产生的隐藏代码,提出一种新的隐藏代码动态捕获方法。利用静态控制流分析算法提取动态捕获点,采用动态二进制插桩技术插入监控代码,在程序的执行过程中实现隐藏代码的执行前分析。实验结果证明,...
关键词：隐藏代码 动态捕获 控制流分析 动态二进制插桩 执行前分析 
公钥密码算法识别技术研究被引量：7
《计算机工程与设计》2011年第10期3243-3246,3273,共5页张经纬 舒辉 蒋烈辉 李继中 
国家863高技术研究发展计划基金项目(2007AA01Z483)
嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法...
关键词：嵌入式系统安全性 算法识别 程序理解 算法特征 模型检测 
基于结构语义树的高级控制结构恢复技术
《计算机工程与设计》2011年第9期3182-3186,共5页刘絮颖 尹青 蒋烈辉 刘建林 
国家863高技术研究发展计划基金项目(2007AA01Z483)
针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前...
关键词：反编译 控制流图 高级控制结构恢复 结构语义树 复合结点 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部