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.

• 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。