密码模块

作品数：130被引量：336H指数：8
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：龙毅宏冯登国张建标秦宇田云峰更多>>
相关机构：北京工业大学武汉理工大学中国科学院软件研究所郑州信大捷安信息技术股份有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
TCM密钥迁移协议设计及形式化分析被引量：8
《软件学报》2015年第9期2396-2417,共22页张倩颖 冯登国 赵世军 
国家自然科学基金(91118006;61202414);国家重点基础研究发展计划(973)(2013CB338003)
为增强TCM芯片间密钥的互操作性,TCM提供了密钥迁移相关命令接口,允许用户设计密钥迁移协议以实现芯片间密钥的共享.通常,TCM密钥迁移协议以目标TCM上的新父密钥作为迁移保护密钥.研究发现,该协议存在两个问题:对称密钥不能作为被迁移...
关键词：可信计算 可信密码模块 密钥迁移 协议设计 形式化分析 
基于TCM的安全Windows平台设计与实现被引量：3
《通信学报》2015年第8期91-103,共13页冯伟 秦宇 冯登国 杨波 张英骏 
国家自然科学基金资助项目(61202414;91118006);国家重点基础研究发展计划("973"计划)基金资助项目(2013CB338003)~~
为了解决Windows系统的完整性度量与证明问题,提出了一种基于可信密码模块TCM（trusted cryptography module）的安全Windows平台方案。通过扩展Windows内核实现了2种安全模式：在度量模式下,所有加载的可执行程序都会被度量,度量值由TC...
关键词：可信计算 完整性度量 可信密码模块 WINDOWS安全 
可信计算技术研究被引量：119
《计算机研究与发展》2011年第8期1332-1349,共18页冯登国 秦宇 汪丹 初晓博 
国家"九七三"重点基础研究发展计划基金项目(2007CB311202)
可信计算技术作为一种新型信息安全技术,已经成为信息安全领域的研究热点.在可信计算领域取得长足发展的同时,其关键技术仍存在许多问题亟待解决,近年来这方面的相关研究已经陆续展开.综述了在可信计算关键技术方面的研究成果,从构建可...
关键词：可信计算 可信平台模块 可信密码模块 信任链 远程证明 可信计算测评 
可信密码模块的密钥服务兼容性研究与实现
《计算机科学》2010年第6期82-85,共4页蒋敏慧 黄宁玉 祝璐 
国家高技术发展计划(863)项目(2006AA01Z440;2009AA012437);哈尔滨工程大学核安全与仿真技术国防重点学科实验室开放课题HEUFN0801;国家重点基础研究发展计划(2007CB311100)资助
可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件...
关键词：可信平台模块 可信密码模块 可信软件栈 密钥管理 兼容性 
可信密码模块软件栈兼容方案设计被引量：4
《武汉大学学报（信息科学版）》2010年第5期618-621,共4页张兴 黄宁玉 祝璐 
国家863计划资助项目(2006AA01Z440;2009AA012437);核安全与仿真技术国防重点学科实验室开放研究基金资助项目(HEUFN0801);国家973计划资助项目(2007CB311100)
提出了可信密码模块软件栈的兼容性设计方案,采用软件工程中的策略模式,在软件栈TSS基础上内置兼容解释器,对应用和TCM的交互进行数据流解析以及数据结构和授权协议的转换,为上层应用提供统一的服务接口。该方案使得基于TPM开发的可信...
关键词：可信平台模块 可信密码模块 兼容性 软件栈 策略模式 
一种基于TCM的属性证明协议被引量：8
《中国科学：信息科学》2010年第2期189-199,共11页冯登国 秦宇 
国家重点基础研究发展计划(批准号:2007CB311202);国家自然科学基金(批准号:60673083)资助项目
在分析现有属性证明问题的基础上,基于在线可信第三方属性证明模型提出了一种基于TCM安全芯片的属性证明协议.协议中证明方利用颁发的属性证书、TCM芯片产生的配置承诺及其签名,使用零知识证明协议向远程验证方证明配置状态符合平台所...
关键词：可信计算 可信密码模块(TCM) 属性证明 知识签名 配置承诺 
可信密码模块的模型检测分析被引量：3
《通信学报》2010年第1期59-64,72,共7页陈小峰 冯登国 
国家自然科学基金资助项目(60673083;60603017);国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311202)~~
根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统。指出了AP授权协议存在的缺陷,并给出了具体...
关键词：可信计算平台 可信密码模块 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部