位置：立项数据库 > 立项详情页
下一代可信计算平台远程证明理论与方法研究
  • 项目名称：下一代可信计算平台远程证明理论与方法研究
  • 项目类别：青年科学基金项目
  • 批准号：61202414
  • 申请代码：F020705
  • 项目来源：国家自然科学基金
  • 研究期限：2013-01-01-2015-12-31
  • 项目负责人：秦宇
  • 依托单位：中国科学院软件研究所
  • 批准年度：2012
中文摘要：

下一代可信计算平台远程证明已成为目前国内外研究的热点，它在解决云计算终端和服务器信任、移动互联网终端安全、数字版权系统、可信网络接入等方面的应用有着现实重要意义。本课题重点突破下一代可信计算平台远程证明关键技术，研究基于 TPM/TCM安全芯片的匿名属性远程证明模型及其安全协议；采用密码协议证明和有限状态机自动化验证相结合的方法，进行远程证明的正确性、匿名性以及隐私性的安全性分析验证研究；同时还将研发一套远程证明协议仿真测试工具，通过安全性测试分析实现协议算法和参数的优化。总之，本课题从远程证明安全性论证和验证角度展开下一代远程证明协议的设计、分析和验证研究，不仅为下一代可信计算平台远程证明系统设计和应用奠定理论基础，还提供相应的分析验证、仿真检测工具支撑。

中文主题词： 可信计算；远程证明；移动可信计算；可信平台模块；安全协议
结论摘要：

英文主题词Trusted Computing；Remote Attestation；Mobile Trusted Computing；Trusted Platform Module；Security Protocol

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 11
  • 0
  • 0
  • 0
期刊论文
TCM密钥迁移协议设计及形式化分析
基于信誉的快速无可信第三方匿名撤销方案
基于TCM的安全Windows平台设计与实现
TCM 密钥迁移协议设计及形式化分析
基于Trustzone的强安全需求环境下可信代码执行方案
基于串空间的可信计算协议分析
Formal analysis of TPM2.0 key management APIs
基于移动可信计算平台的直接匿名证明方案研究
Using Mobile Phones to Enhance Computing Platform Trust
The theory and practice in the evolution of trusted computing
基于可信移动平台的直接匿名证明方案研究
基于扩展LS~2的可信虚拟平台信任链分析
基于TrustZone的可信移动终端云服务安全接入方案
会议论文
DAA-TZ: An Efficient DAA Scheme for Mobile Devices using ARM TrustZone
Improving the security of the HMQV protocol using tamper-proof hardware
Improving the Security of the HMQV Protocol Using Tamper-Proof Hardware
Direct Anonymous Attestation in practice: Implementation and efficient revocation
Providing Root of Trust for ARM TrustZone using On-Chip SRAM
Mobile Trusted Agent(MTA):Build user-based trust for general-purpose computer platform
DAA-Related APIs in TPM 2.0 Revisited
Mdaak: A flexible and efficient framework for direct anonymous attestation on mobile devices
Formal analysis of ECC-based Direct Anonymous Attestation schemes in Applied Pi Calculus
Type-Based Analysis of Protected Storage in the TPM
TEEM: A User-Oriented Trusted Mobile Device for Multi-platform Security Applications
相关项目
面向军用可信计算环境的构造及评测试验验证研究
期刊论文 46 会议论文 7 著作 1
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3
分布式网络环境下终端可信技术研究
期刊论文 14 会议论文 10 获奖 4 专利 15
基于LFSR序列的公钥密码算法及RSA模数安全分析
期刊论文 7
基于事件逻辑的安全协议形式化分析及验证
期刊论文 19 获奖 1
面向安全群体通信的新型签密及应用研究
期刊论文 58 会议论文 11 获奖 4 著作 2
异构无线网络可信远程证明的组合安全理论与协议设计
期刊论文 33 会议论文 3 获奖 2
代数方程组求解与代数曲线曲面的可信计算
期刊论文 4 会议论文 1
基于可信链的Mobiel Agent运行环境安全增强机制研究
期刊论文 9 会议论文 5
秦宇的项目