期刊文献+

The theory and practice in the evolution of trusted computing 被引量:5

The theory and practice in the evolution of trusted computing
在线阅读 下载PDF
导出
摘要 Trusted computing(TC)is an emerging technology to enhance the security of various computing platforms by a dedicated secure chip(TPM/TCM),which is widely accepted by both the industrial and academic world.This paper attempts to sketch the evolution of TC from the view of our theoretical and engineering work.In theory,we focus on protocol design and security analysis.We have proposed the first ECDAA protocol scheme based on q-SDH assumption,which highlights a new way to design direct anonymous attestation scheme.In technical evolution,we discuss the key technologies of trust chain,trusted network connection and TC testing and evaluation.We break through several key technologies such as trusted boot,OS measurement and remote attestation,and implement a TC system from TPM/TCM to network.We also design and implement a testing and evaluation system of TC platform,which is the first one put into practical application in China.Finally,with the rapid development of cloud computing and mobile applications,TC is moving toward some new directions,such as the trust in cloud and mobile environments,new TPM standard,and flexible trust execution environment trust establishment method. Trusted computing (TC) is an emerging tech- nology to enhance the security of various computing plat- forms by a dedicated secure chip (TPM/TCM), which is widely accepted by both the industrial and academic world. This paper attempts to sketch the evolution of TC from the view of our theoretical and engineering work. In theory, we focus on protocol design and security analysis. We have proposed the first ECDAA protocol scheme based on q-SDH assumption, which highlights a new way to design direct anonymous attestation scheme. In technical evolu- tion, we discuss the key technologies of trust chain, trusted network connection and TC testing and evaluation. We break through several key technologies such as trusted boot, OS measurement and remote attestation, and imple- ment a TC system from TPM/TCM to network. We also design and implement a testing and evaluation system of TC platform, which is the first one put into practical application in China. Finally, with the rapid development of cloud computing and mobile applications, TC is moving toward some new directions, such as the trust in cloud and mobile environments, new TPM standard, and flexible trust execution environment trust establishment method.
出处 《Chinese Science Bulletin》 SCIE EI CAS 2014年第32期4173-4189,共17页
基金 supported by the National BasicResearch Program of China(2013CB338003) the National Natural Science Foundation of China(91118006 and 61202414)
关键词 可信计算 TCM 计算平台 移动应用 TPM 安全芯片 安全分析 匿名认证 Trusted computing ; TPM ; TCMDirect anonymous attestation ; Trusted networkconnection ; Trust chain
  • 相关文献

参考文献5

二级参考文献53

  • 1易国洪,卢炎生.基于EFSM模型的等价类测试[J].计算机科学,2007,34(1):281-284. 被引量:7
  • 2黄亮,冯登国,张敏.一个基于安全模型的测试用例生成工具[J].中国科学院研究生院学报,2007,24(3):300-306. 被引量:2
  • 3Matthew Barrett. Towards an open trusted computing framework [M. S. dissertation]. University of Auckland, Auckland, 2005
  • 4Bruschi Danilo, Cavallaro Lorenzo, Lanzi Andrea, Monga Mattia. Replay attack in TCG specification and solution// Proceedings of the 21th Annual Computer Security Application Conference (ACSAC). Tucson, AZ, USA, 2005: 127- 137
  • 5Sadeghi Ahmad Reza, Selhorst Marcel, Stuble Christian,Wachsmann Christian, Winandy Marcel. TCG Inside?-A note on TPM specification compliance//Proceedings of the 1st ACM Workshop on Scalable Trusted Computing (STC' 06). Virginia, USA, 2006:1-10
  • 6Fujiwara S, Bochmann G V, Khendek F, Amalou M, Ghedamsi A. Test selection based on finite state models. IEEE Transactions on Software Engineering, 1991, 17(6): 591- 603
  • 7Guerrouat Abdelaziz, Richter Harald. Reuse of test generation methods for embedded systems. Clausthal University of Technology, 2005
  • 8Bourhfir C, Dssouli R, Aboulhamid E M. Automatic test generation for EFSM-based systems. The Journal of Real- Time Systems, 1989, 1(1): 27- 60
  • 9Petrenko A, Boroday S, Groz R. Confirming configurations in EFSM testing. IEEE Transactions on Software Engineering, 2004, 30(1): 29-42
  • 10Celine Bigot, Alain Faivre, Christophe Gaston, Julien Simon. Automatic Test Generation on a (U)SIM Smart Card. LNCS 3928, 2006:345-360

共引文献58

同被引文献45

引证文献5

二级引证文献36

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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