-
题名可信密码模块的模型检测分析
被引量:3
- 1
-
-
作者
陈小峰
冯登国
-
机构
中国科学院软件研究所信息安全国家重点实验室
-
出处
《通信学报》
EI
CSCD
北大核心
2010年第1期59-64,72,共7页
-
基金
国家自然科学基金资助项目(60673083
60603017)
国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311202)~~
-
文摘
根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统。指出了AP授权协议存在的缺陷,并给出了具体的改进措施;同时验证可信密码模块初始化子系统状态的一致性。
-
关键词
可信计算平台
可信密码模块
模型检测
-
Keywords
trusted computing platform
trusted cryptographic module
model checking
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一个基于可信密码模块的数字版权管理方案
被引量:2
- 2
-
-
作者
徐日
毛明
-
机构
西安电子科技大学通信工程学院
北京电子科技学院
-
出处
《北京电子科技学院学报》
2008年第4期9-13,共5页
-
文摘
分析可信计算密码支撑平台可信密码模块的功能和结构,在比较数字水印、防拷贝、加密、激活的数字版权管理技术的基础上,研究可信密码模块在数字版权管理中应用的优势,对数字版权作品的保护,提出用外接可信密码模块加强数字版权管理的方案,不仅与现有的数字版权管理技术兼容支持,而且有利于普及数字版权管理。
-
关键词
DRM(数字版权管理)
可信计算密码支撑平台
TCM(可信密码模块)
-
Keywords
DRM (digital rights management)
cryptographic support platform for trusted computing
TCM (trusted cryptography module).
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名可信计算密码支撑平台中的密钥管理技术研究
被引量:6
- 3
-
-
作者
艾俊
吴秋新
-
机构
北京信息科技大学计算机学院
-
出处
《北京信息科技大学学报(自然科学版)》
2009年第4期92-96,共5页
-
文摘
介绍了可信计算密码支撑平台中的密钥的分类和结构,着重分析了支持可信计算密码支撑平台的TSM的密钥结构和管理形式。对现有平台密钥管理存在的问题,提出了利用Rootkit技术加强平台保护的方案。测试结果表明新方法可提高密钥管理的安全性。
-
关键词
可信计算密码支撑平台
可信密码模块
可信服务模块
密钥
密钥管理
-
Keywords
cryptographic support platform for trusted computing
TCM
TSM
Key
Key management
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-