东北大学学报（自然科学版）

东北大学学报(自然科学版) ›› 2008, Vol. 29 ›› Issue (8): 1096-1099.DOI: -

• 论著 • 上一篇    下一篇

基于可信计算的移动平台设计方案

陈书义;闻英友;赵宏;   

  1. 东北大学信息科学与工程学院;
  • 收稿日期:2013-06-22 修回日期:2013-06-22 出版日期:2008-08-15 发布日期:2013-06-22
  • 通讯作者: Chen, S.-Y.
  • 作者简介:-
  • 基金资助:
    国家自然科学基金资助项目(60602061);;

Conceptual design of trusted mobile platform

Chen, Shu-Yi (1); Wen, Ying-You (1); Zhao, Hong (1)   

  1. (1) School of Information Science and Engineering, Northeastern University, Shenyang 110004, China
  • Received:2013-06-22 Revised:2013-06-22 Online:2008-08-15 Published:2013-06-22
  • Contact: Chen, S.-Y.
  • About author:-
  • Supported by:
    -

RichHTML

1

PDF (PC)

1212

摘要： 在深入研究现有可信移动平台设计方案和TCG移动可信模块相关技术的基础上,提出了带有移动可信模块的可信移动平台设计方案.平台采用基带处理器和应用处理器分离的结构,利用移动可信模块构建了以应用处理器为中心的可信区域,为移动平台提供受保护的计算和存储空间,提高了移动平台的安全性、灵活性和可靠性.分析了现有可信移动平台安全引导过程安全漏洞,提出了改进的安全引导过程,并通过谓词逻辑对改进的引导过程进行了正确性验证.

关键词: 可信计算, 可信计算模块, 移动可信模块, 安全引导, 谓词逻辑

Abstract: Investigating in depth the existing conceptual designs of trusted mobile platforms and technology of the TCG mobile trusted module, a new conceptual design of trusted mobile platform based on the module is proposed, of which the base-band processor is separated from application processor. The trusted region with the application processor as a center is constructed in the design to provide a protected space for computing and storage, thus improving the security, flexibility and reliability of the platform. Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic.

中图分类号: