谢仕华
- 作品数：6 被引量：8H指数：1
- 供职机构：中国信息安全测评中心更多>>
- 发文基金：国家重点基础研究发展计划北京工业大学博士启动基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术建筑科学电子电信更多>>
- 电子护照安全性概述
- 2010年
- 随着电子信息技术的发展,电子护照由于其自身较高的防伪性和良好的机读能力,已逐渐取代传统的纸质护照成为全球通用的公民身份凭证。从智能卡技术的角度详细分析电子护照所具有的安全机制,着重对国际民用航空组织(International Civil Aeronautical Organization,ICAO)要求的被动认证、主动认证和基本访问控制等安全机制进行了探讨,阐述了各安全机制的具体实施过程及保证护照内容真实性和完整性的机理。
- 高金萍张翀斌杨永生谢仕华
- 关键词：电子护照国际民用航空组织
- 面向复杂网络的威胁度量及聚合方法
- 2016年
- 在复杂网络中,威胁模型结构庞大、行为复杂,不利于建模后的威胁分析。该文从实现的角度出发,针对一类利用C程序实现的威胁对象及威胁,在已有的威胁建模理论的基础上,基于代数系统理论提出威胁对象及威胁的代数化刻画框架。基于该框架,采用代数簇理论建立威胁行为相似度度量函数,通过矩阵理论及非线性约束求解理论进行函数求解,从而实现相似行为的代数化判定。最后,针对判定后的相似行为,基于并发系统等价关系构建威胁行为聚合规则,实现威胁模型优化,减少威胁分析复杂度优化。
- 邓辉刘晖张宝峰毛军捷郭颖熊琦谢仕华
- 关键词：相似度度量威胁分析
- 面向复杂网络的威胁度量及聚合方法初探
- 网络中,威胁模型结构庞大,行为复杂,不利于建模后的威胁分析.本文在已有的威胁建模理论的基础上,从实现的角度出发,提出威胁对象及威胁的代数化刻画框架,并基于代数簇理论建立威胁相似度度量方法,实现相似威胁的代数化判定.针对相...
- 邓辉刘晖张宝峰毛军捷郭颖熊琦谢仕华
- 关键词：计算机网络相似度度量
- 一种计算机的嵌入式控制系统及其更新方法
- 一种计算机的嵌入式控制系统及其更新方法涉及信息安全领域。嵌入式控制器（EC）独立于笔记本CPU，通常被用来控制设备启动时序，控制各个装置的电源开关，可以实现系统电源管理、部件电源管理、CPU电源管理、部件和CPU功效管理...
- 毛军捷张翀斌张宝峰郭颖饶华一吴毓书李凤娟许源谢仕华
- 文献传递
- 一种计算机的嵌入式控制系统及其更新方法
- 一种计算机的嵌入式控制系统及其更新方法涉及信息安全领域。嵌入式控制器（EC）独立于笔记本CPU，通常被用来控制设备启动时序，控制各个装置的电源开关，可以实现系统电源管理、部件电源管理、CPU电源管理、部件和CPU功效管理...
- 毛军捷张翀斌张宝峰郭颖饶华一吴毓书李凤娟许源谢仕华
- 文献传递
- 基于可信平台控制模块的主动度量方法被引量：8
- 2012年
- 现有可信平台模块TPM大多作为协处理器,以应答请求方式对输入数据进行完整性度量。由于BIOS可能被恶意篡改,因此不能保证TPM的输入数据和度量结果可信。针对上述问题,该文提出一种可信平台控制模块(TPCM)具备主动度量功能的硬件设计方案。在该方案中,TPCM与原宿主计算系统构建并行的双系统,主动地检查设备固件和软件代码,判断输入数据真实性和时效性,保证度量结果可信。最后,通过形式化方法对本方案进行了理论分析,分析结果表明:TPCM的主动度量方案可以保证待度量数据的真实性和时效性,从而保证度量结果可信。
- 郭颖毛军捷张翀斌张宝峰林莉谢仕华
- 关键词：可信计算主模式
