丁松阳
- 作品数：16 被引量：14H指数：2
- 供职机构：河南财经政法大学计算机与信息工程学院更多>>
- 发文基金：国家高技术研究发展计划河南省杰出人才创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于Ontology的数据集成新方法
- 2006年
- 基于Ontology的异构数据集成的方法是近几年来解决异构数据集成问题的有效方法。本文分析了几种本体(Ontology)集成方法的优缺点,提出了一种新的本体集成方法——Extend Hybrid approaches。该方法使用本体描述领域概念,构建了全局本体和局部本体及局部到全局的映射关系,解决了数据集成中存在的语义异构问题。
- 郑娅峰丁松阳杨风雷
- 关键词：ONTOLOGY异构数据源映射关系
- GCC优化框架研究被引量：2
- 2006年
- 在GCC新的优化框架基于静态单赋值语法树,其优点是既与前端语言无关,又与后端目标代码无关,而且能够提供在寄存器转换语言表示层很难或者无法进行的高级分析和转换。新的框架在前端使用了两个新的中间表示:泛化树和简化树,一些优化工作在简化树的基础进行实施。
- 丁松阳张墨华
- 响应来自安防监控子系统信号的方法
- 本发明涉及一种响应来自安防监控子系统信号的方法，含有下列步骤：步骤1：采用设备通信模块读取来自不同安防监控设备的设备信号,分析识别后创建系统信号，送往信号分析器；步骤2：信号分析器解析系统信号，创建设备信号对象后送往联动...
- 张永强郑娅峰张墨华米慧超丁松阳
- 文献传递
- 静态二进制翻译中回调函数逆向恢复技术研究
- 2008年
- 回调函数的逆向恢复是静态二进制翻译的一个难点。针对使用C后端的静态二进制翻译框架,提出并实现回调函数逆向恢复方法,该方法结合代码间隙分析,在后端C代码生成过程中插入映射源回调函数地址到目标机函数地址的代码。相对于使用解释器的方法,该方法具有实现简洁,在目标机上运行速度更快的优点。
- 丁松阳赵荣彩
- 关键词：静态二进制翻译回调函数
- 基于NP的千兆网络取证系统数据包转发研究
- 2010年
- 在高速网络环境下,为了使网络入侵取证系统(NIFS)对数据包过滤分析处理达到线速,在深入研究网络处理器的基础上,通过对现有网络入侵取证系统的体系结构进行重新设计,提出了在网络底层实现网络入侵取证的新的硬件体系结构,采用网络处理器在网络底层实现数据的采集、过滤、转发,提高了NIFS的运行速度和效率,可较好地适应高速网络环境下的入侵取证分析.
- 张墨华丁松阳
- 关键词：网络入侵取证网络处理器数据包转发
- Linux内核防火墙源代码分析
- 因为具有开放源码的巨大优势，Linux操作系统已基本上成为高校计算机专业的必修课。Linux操作系统源代码的分析不仅具有教学意义，同时还具有科研意义。但目前的分析主要集中在存储管理、进程调度、文件系统及设备驱动等方面，对...
- 丁松阳
- 关键词：源代码防火墙包过滤网络地址转换
- 文献传递
- 静态二进制翻译中间接过程调用恢复技术研究
- 2007年
- 间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解释器的方法,该方法具有实现简洁、在目标机上运行速度更快的优点。
- 丁松阳赵荣彩
- 关键词：静态二进制翻译解释器
- 基于加载机制分析的ELF文件main函数定位技术被引量：6
- 2007年
- 当前二进制翻译中通用的main函数定位方法依赖于符号表,随着strip工具的普遍应用,二进制可执行文件中往往不存在符号表。该文描述了strip工具的应用目的,分析了其应用对二进制翻译的影响,基于ELF文件加载机制的分析,提出了一种新的main函数定位技术,通过对IA-32及IA-64下ELF格式二进制文件的翻译,证明该技术是有效的。
- 齐宁丁松阳孙维新赵荣彩
- 关键词：二进制翻译符号表ELFSTRIP
- 静态二进制翻译中动态地址解析恢复技术研究
- 2008年
- 静态二进制翻译的入口点通常为main函数,所以main函数执行之前的动态地址解析部分就无法在目标机上恢复。通过分析基于ELF文件的动态地址解析机制,提出了在目标代码中插入代码模拟动态地址解析的方法来解决该问题。该方法已在静态二进制翻译项目中实现,测试结果表明该方法是有效的。
- 丁松阳赵荣彩崔平非
- 关键词：静态二进制翻译ELF文件
- 二进制翻译形式化模型
- 2007年
- 通过对比分析静态与动态二进制翻译系统,描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有理论指导作用,并且可为保证翻译过程及结果的正确性提供理论基础。
- 丁松阳张墨华
- 关键词：二进制翻译形式化
