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