期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于TCM的属性证明协议 被引量：9

原文传递
导出
摘要 在分析现有属性证明问题的基础上,基于在线可信第三方属性证明模型提出了一种基于TCM安全芯片的属性证明协议.协议中证明方利用颁发的属性证书、TCM芯片产生的配置承诺及其签名,使用零知识证明协议向远程验证方证明配置状态符合平台所声明的安全属性.该协议具有签名长度短、计算量小等特点,并且在Random Oracle模型下证明了该协议的安全性.基于TCM的属性证明协议有助于TCM安全芯片的应用扩展和标准完善,具有重要的实用价值和现实意义.
作者 冯登国 秦宇
机构地区 中国科学院软件研究所信息安全国家重点实验室 信息安全共性技术国家工程研究中心
出处 《中国科学：信息科学》 CSCD 2010年第2期189-199,共11页 Scientia Sinica(Informationis)
基金 国家重点基础研究发展计划(批准号:2007CB311202) 国家自然科学基金(批准号:60673083)资助项目
关键词 可信计算 可信密码模块(TCM) 属性证明 知识签名 配置承诺
分类号 TP309.2 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献24

  • 1China State Password Administration Committee.Functionality and Interface Specification of Cryptographic Support Platform for Trusted Computing. http://www.oscca.gov.cn/ . 2007
  • 2Lysyanskaya A,Rivest R L,Sahai A,et al.Pseudonym systems. SAC,1999 . 2000
  • 3Shoup V.NTL:A Library for doing Number Theory. http://www.shoup.net/ntl/ .
  • 4Lynn B.The Pairing-Based Cryptography Library. http://crypto.stanford.edu/pbc/times.html .
  • 5Miyaji A,Nakabayashi M,Takano S.New explicit conditions of elliptic curve traces for FRreduction. IEICE Trans . 2002
  • 6Trusted Computing Group.TCG Glossary Specification.Rev.0.1. https://www.trustedcomputinggroup. org/home . 2004
  • 7Trusted Computing Group.TPM Main Part 1,Design Principles Specification.Ver.1.2,rev.62. https://www. trustedcomputinggroup.org/home . 2003
  • 8Trusted Computing Group.TCG Software Stack(TSS) Specification,Ver.1.10. https://www.trustedcomputinggroup. org . 2003
  • 9Haldar V,Chandra D,Franz M.Semantic remote attestation:a virtual machine directed approach to trusted computing. Proceedings of USENIX Virtual Machine Research and Technology Symposium . 2004
  • 10Chen L Q,Landfermann R,L(o|¨)hr H,et al.A protocol for property-based attestation. Proceedings of the 1st ACM workshop on Scalable Trusted Computing . 2006

同被引文献94

引证文献9

二级引证文献188

中国科学：信息科学
2010年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部