国家高技术研究发展计划(2007AA01Z483)
- 作品数：31 被引量：122H指数：6
- 相关作者：王震宇蒋烈辉尹青窦增杰李继中更多>>
- 相关机构：解放军信息工程大学中国人民解放军信息工程大学北京九州泰康生物科技有限责任公司更多>>
- 发文基金：国家高技术研究发展计划河南省科技攻关计划河南省杰出人才创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 操作系统可信机制功能模型研究被引量：56
- 2012年
- 提出了一种操作系统可信机制功能模型建立方法,基于XML设计了存储结构,并用于可信机制层次功能模型的存储和转换;设计了IDA反汇编工具的相关插件,实现了从二进制代码中自动抽取和保存函数依赖关系、函数CFG图和层次功能模型的功能。
- 勾慧兰刘光超
- 关键词：操作系统函数依赖二进制代码
- TCG软件栈功能模型分析被引量：3
- 2010年
- 在研究可信平台结构基础之上对TCG软件栈架构进行分析,详细阐述TCG软件栈各层的功能。分析TSP对外提供的功能接口,对TSP对外提供的主要对象类进行分析并研究功能接口各个对象类之间的关系。通过以上研究能很好地指导编写可信平台应用程序。
- 王震宇窦增杰田佳陈楠余弦
- 关键词：可信计算平台可信计算组织可信平台模块
- 基于FPGA的嵌入式平台中TPM的扩展实现被引量：2
- 2009年
- 随着可信计算技术的发展,利用可信计算来提高嵌入式系统的安全性已成为热点。针对可信计算技术中的核心硬件可信平台模块(Trusted Platform Module,TPM),文章提出了一种TPM在嵌入式系统中的扩展方案,并在ARM嵌入式平台中进行了设计与实现。通过研究TCG定义的PC可信计算平台硬件结构,在分析比较嵌入式平台的通用外部接口的基础上,选择SPI总线进行信号的扩展;基于FPGA实现了SPI总线周期与TPM的特殊LPC总线周期间信号的转换和匹配,有效的解决了TPM在嵌入式平台中的硬件扩展问题。
- 黄建华王禹王震宇陈永明张磊
- 关键词：嵌入式平台FPGA
- 嵌入式可信终端TPM接口的研究与实现被引量：7
- 2008年
- 针对当前嵌入式系统中存在的安全问题,提出带有可信机制的安全解决方案。给出了嵌入式可信终端的总体架构,然后分析了TPM的访问接口,最后讨论了在通用嵌入式开发平台上通过SMBus总线扩展TPM的方法,并介绍了嵌入式系统TPM设备驱动程序的设计。
- 刘海雷王震宇马鸣锦刘鑫杰
- 关键词：可信平台模块嵌入式系统可信终端接口
- Vista中信任链建立机制研究被引量：1
- 2009年
- 信任链机制是Vista建立可信环境的基础,对其实现过程及安全性分析将为Vista的安全评估提供重要依据。针对Vista中信任链的建立过程,对可信计算机制在Vista中的实现进行了详细的分析,并通过逆向工程的手段对Vista信任链建立过程中的相关代码进行了剖析,给出它们的实现方式和主要的工作流程。并对Vista信任链机制的安全性进行了分析,给出其安全隐患。
- 郜伟何静
- 关键词：VISTA可信环境可信计算逆向工程
- 基于802．1X的可信网络连接技术被引量：15
- 2009年
- 网络访问控制技术能有效防止不安全终端对网络的威胁。该文介绍网络访问控制技术的研究现状,针对其实现中存在的问题,提出基于802.1X的可信网络连接模型,给出网络连接的认证流程及终端隔离技术的实现方法。实验结果表明,该模型可以保证终端的可信接入,并对不安全终端进行隔离和修复。
- 凤琦王震宇李向东周武明
- 关键词：网络访问控制可信网络连接
- 嵌入式平台TPM扩展及可信引导设计与实现被引量：12
- 2009年
- 为了提高目前嵌入式系统的安全性能,提出了一种针对嵌入式平台的安全设计方案。在研究了可信计算和嵌入式系统的技术基础上,提出通过扩展可信平台模块(TPM)的方法从底层对整个架构进行改进。在ARM嵌入式开发平台上,通过分析TPM芯片的低引脚数(LPC)接口功能,基于通用输入输出接口实现了TPM芯片在嵌入式平台上的扩展,并通过对平台启动代码的研究,设计并完成了该平台上的可信引导,整个过程验证了此设计方案的可行性。
- 王禹王震宇姚立宁
- 关键词：可信计算ARM嵌入式平台
- 二进制代码覆盖率评估系统的设计与实现被引量：2
- 2010年
- 在程序动态测试中,需要评价二进制代码动态测试效果。提出了一种二进制代码覆盖率评估方法,设计并实现了基于分支轨迹存储技术的二进制代码覆盖率评估系统。通过分支监视引擎记录动态测试中的代码分支轨迹,利用分支轨迹数据修正静态分析结果,综合静态分析结果和分支轨迹记录评估二进制代码覆盖率,并实现轨迹数据的可视化。实验结果表明,该系统能够有效提高覆盖率评估精度和效率。
- 姚伟平王震宇刘建林窦增杰
- 关键词：代码覆盖率可视化
- 基于ISS的多处理器嵌入式系统模拟方案
- 2010年
- 提出一种基于ISS的多处理器嵌入式系统模拟方案。采用基于总线的互连方式,合理利用共享内存机制,解决不同处理器进程间的通信问题。提出全局时钟同步机制,实现对所有处理器单元的调度安排,使各处理器之间保持步调一致。分析表明,该方案能够实现对单个或多个同源或不同源目标代码的模拟与跟踪。
- 宋彭涛田斌蒋烈辉李继中王九宇
- 关键词：嵌入式系统指令集模拟器多处理器
- 反编译中数据类型自动重构技术研究被引量：1
- 2012年
- 类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化类型的框架,而后通过收集框架内可访问的偏移集合并利用简单类型恢复的算法对偏移对象类型进行恢复,从而推导出复杂结构类型。该算法是目前正在开发的类型重构工具的关键技术,它不仅能够准确地重构简单类型,而且能够准确地解析复杂类型,且准确率较高。
- 何东尹青谢耀宾井静
- 关键词：反编译等价类
