何红旗
- 作品数：42 被引量：37H指数：4
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划河南省科技攻关计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学自然科学总论更多>>
- 跨平台仿真系统的远程调试器设计被引量：3
- 2014年
- 远程调试器是排除跨平台仿真系统错误的有效工具。介绍了x86到申威处理器的跨平台仿真系统ARCH-BRIDGE及其动态二进制翻译机制,给出了其远程调试器设计和实现方法,并解决了动态二进制翻译优化条件下的断点设置、单步执行等调试命令的处理问题。
- 董卫宇姜鲲鹏曾韵何红旗常瑞
- 关键词：动态二进制翻译远程调试器调试代理
- 基于安全密码芯片的可信计算机系统及其可信引导方法
- 本发明涉及一种基于安全密码芯片的可信计算机系统及其可信引导方法，该系统包含主平台和安全密码芯片，主平台包含主处理器、内存、外存、总线及外部设备，主处理器包含指令缓存单元、数据缓存单元、执行单元及二级缓存单元。本发明在系统...
- 郭玉东周少皇王立新董卫宇何红旗魏小峰林键
- 文献传递
- 一种分布式文件系统的拟态防窃取方法
- 本发明公开一种分布式文件系统的拟态防窃取方法。该发明对文件系统中的文件数据和管理信息进行分布、变换与定制，使元数据服务器仅管理系统的目录结构但不知道名称的意义，数据节点仅管理文件片段但不知道内容的意义，位置服务器仅管理文...
- 郭玉东王立新董卫宇林键周少皇王炜戚旭衍何红旗
- 文献传递
- 一种基于树结构的密码算法逻辑表达式识别方法
- 本发明涉及一种基于树结构的密码算法逻辑表达式识别方法。通过下述步骤识别密码算法及密码函数：1）通过研究不同密码算法的实现原理，抽取出密码算法实现中所使用的逻辑表达式，采用树形结构存储到密码算法逻辑表达式特征数据库中；2）...
- 蒋烈辉尹青李继中谢耀滨何红旗常瑞刘铁铭
- 文献传递
- 一种基于功能模型的二进制代码漏洞发现方法
- 本发明涉及计算机软件逆向分析领域。一种基于功能模型的二进制代码漏洞发现方法，首先基于静态逆向分析系统建立代码功能模型，并基于所述代码功能模型构造初始测试用例集；其次，通过动态测试与回放分析系统依据覆盖率控制和选路策略在动...
- 王震宇窦增杰姚伟平何红旗陈楠刘建林刘铁铭王瑞敏
- 文献传递
- 一种递归式汇编级代码模块分析算法设计
- 2007年
- 提出了一种对主流微处理器汇编级代码在汇编级进行模块分析的算法,给出了该算法的形式化描述和模块分析结果的记录方法,根据该算法在汇编级代码辅助分析系统中的应用情况取得了实验数据。实验表明,该算法在多款处理器目标代码的分析过程中都有较高的模块分析速度与准确度。
- 蒋烈辉周博费勤福何红旗韩小琨张有为
- 关键词：控制流反汇编
- 基于相似度判定的嵌入式操作系统内核版本识别方法
- 本发明涉及一种基于相似度判定的嵌入式操作系统内核版本识别方法，含有下列步骤：步骤1：收集不同类型标准嵌入式操作系统的内核版本，得到标准内核的函数结构化特征，并将其存入内核结构化特征库；步骤2：对待识别的嵌入式操作系统内核...
- 蒋烈辉尹青谢耀滨何红旗刘铁铭常瑞张平李继中
- 文献传递
- 分布式文件系统的拟态防篡改方法
- 本发明公开了一种分布式文件系统的拟态防篡改方法，克服了现有技术中，分布式文件系统中存在的文件被篡改问题。该发明过程如下：一、对每一个要写入的文件对象，在不同类型的数据节点中为其创建多个副本；二、增加一个仲裁器对各副本进行...
- 郭玉东董卫宇王立新王炜戚旭衍何红旗林键
- 文献传递
- 一种集中式文件服务系统的拟态防篡改方法
- 本发明属于计算机科学与技术领域。具体涉及一种集中式文件服务系统的拟态防篡改方法，所针对的是中小型文件服务系统，其核心是单台的文件服务器或文件服务器集群。本发明用多个文件服务器变体替代单台文件服务器并在其中引入仲裁器。客户...
- 郭玉东邬江兴戚旭衍何红旗董卫宇王立新林键
- 文献传递
- 可证明安全的轻量级双向认证协议:MPUF-HB
- 2017年
- 针对HB协议族只能实现单向认证的缺陷,基于HB协议、结合2级物理不可克隆函数设计了可证明安全的轻量级双向认证协议MPUF-HB.文章分别在被动模型、DET攻击模型和GSR-MIM攻击模型下,通过向线性阈值函数可学习性问题的规约严格证明了新协议的安全性.协议基于物理不可克隆函数提供防篡改特性,能有效抵御主动攻击和GSR中间人攻击,在低资源占用量的前提下提高了安全性能,实现了双向认证.
- 刘威何红旗何红旗
- 关键词：PUF
