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

来源期刊：东北大学学报(自然科学版)2008年第8期

论文作者：陈书义 闻英友 赵宏

文章页码：1096 - 1099

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

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