余弦
- 作品数：7 被引量：8H指数：2
- 供职机构：中国人民解放军信息工程大学信息工程学院更多>>
- 发文基金：国家高技术研究发展计划河南省杰出人才创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- TCG软件栈功能模型分析被引量：3
- 2010年
- 在研究可信平台结构基础之上对TCG软件栈架构进行分析,详细阐述TCG软件栈各层的功能。分析TSP对外提供的功能接口,对TSP对外提供的主要对象类进行分析并研究功能接口各个对象类之间的关系。通过以上研究能很好地指导编写可信平台应用程序。
- 王震宇窦增杰田佳陈楠余弦
- 关键词：可信计算平台可信计算组织可信平台模块
- ARM静态库函数识别技术研究
- 2010年
- 深入地分析了"dcc"对库函数的研究,针对运行在ARM处理器上的应用程序,对静态库函数识别提出在二进制级别上动态提取库函数特征文件的方法。该方法利用ARM处理器汇编特征提取函数模块,并在此基础上根据汇编代码的寻址方式编码特征提取模式文件并进行动态签名的生成,结合哈希算法对生成的待识别应用程序函数签名和已有签名文件进行特征匹配,识别库函数相关信息。该方案能准确的识别库函数,并有效地解决识别过程中库文件过多和匹配效率之间的矛盾。
- 黄飞尹青蒋烈辉余弦李继中
- 关键词：签名哈希ARM
- 可执行可信软件安全性分析技术研究被引量：2
- 2010年
- 为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法。详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法。最后,概述了程序动态测试系统。
- 陈楠王震宇窦增杰姚伟平余弦
- 关键词：控制流分析数据流分析
- 基于插件技术的多目标指令集模拟器设计与实现被引量：3
- 2010年
- 指令级模拟器是处理器及嵌入式系统设计的重要工具,也是进行系统体系结构软件设计评估、系统软件设计开发及软硬件协同开发的有利工具。传统的指令集模拟器大多针对特定目标系统而设计,具有极大的目标依赖性。文章提出了一种基于插件构建技术的方法,利用插件的独立性、封闭性和利于扩展的特性,极大提高了多目标系统的开发效率。
- 宋彭涛蒋烈辉谢耀滨王九宇余弦田立
- 关键词：多目标指令集模拟器插件技术
- 基于抽象解释的可执行代码值范围分析
- 2010年
- 阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径,并给出数据流分析实例。
- 窦增杰王震宇姚伟平陈楠余弦
- 关键词：数据流分析
- Symbian操作系统的内存管理分析
- 2010年
- 为了解决智能手机的安全性问题,以Symbian操作系统为对象分析了该操作系统中内存管理机制。主要研究内存模型如何应用物理内存、内存管理单元及Cache来提供操作系统和用户应用程序所需要的内存服务,以及操作系统如何实现内存保护和解决内存不足等问题;并通过实验验证了上述分析结果,最后提出了Symbian操作系统内存管理机制可能的发展方向。
- 刘絮颖尹青舒辉蒋烈辉余弦
- 关键词：SYMBIAN操作系统内存管理内存模型
- 适用于网络流量延时重放的线性文件系统
- 2010年
- 在分析了传统的网络流量重放和文件系统技术的基础上,提出了一种可应用于入侵检测系统的网络流量延时重放模型,设计并实现了基于Linux的高速线性文件系统。实验结果表明,该线性文件系统磁盘顺序读写性能优于其它主流文件系统,在网络流量延时重放的应用下,系统吞吐量较采用ext2文件系统提高3%,在高速大容量的IP分组存取条件下可有效地减少系统开销,具有一定的实用价值。
- 邰铭刘鹏姚远王辉余弦
- 关键词：入侵检测网络安全
