[发明专利]智能终端远程证明方法和系统

说明书

技术领域

本发明涉及智能终端上的可信计算技术领域，更具体的说，是涉及一种智能终端远程证明方法和系统。

背景技术

随着智能终端的发展，可在其上开展的业务也越来越多，例如一些如电子支付等高安全业务。该高安全业务除了需要认证用户的身份外，还需要确认当前用户的系统及操作环境的可信性。现有技术中多采用远程证明的方式实现在智能终端上开展高安全业务。

远程证明源自于TCG的架构概览规范（TCG Specification Architecture Overview）是可信计算平台的基础功能。远程证明不仅对用户和平台的身份进行了认证，还进一步对平台的安全状态、软硬件配置等信息进行验证，保证平台的状态符合预期的安全策略，因此它能够从源头上消除大量潜在的安全攻击,为高安全需求的业务在智能终端上开展提供可能。

目前最常用的远程证明方法为基于二进制的远程证明（Binary-based Remote Attestation，BRA），其远程证明主要分为完整性度量、度量报告传输以及度量值验证三个部分。其过程主要为：首先，可信平台模块（Trusted Platform Module,TPM）使用保存其中的证言身份密钥（Attestation Identity Keys，AIK）对完整性度量值PCR(Plat Configuration Register)值（PCR extend操作）进行签名（PCR quote操作），以保证证明终端的身份和完整性；其次，度量报告传输定义了采用何种方式确保完整性度量结果向远程验证方的安全传输以及报告方与验证方的可认证性；最后，度量值验证则指远程验证方接到证明方关于完整性状态的度量报告后根据所期望的完整性值对度量结果的判断和评估，具体的，通过度量存储日志（Stored Measurement Log，SML）和平台配置寄存器PCRs值获取的远程平台系统运行的软件状态、配置信息等，确定对方系统是否可信。从而完成BRA。

目前智能终端具有向第三方业务平台开放的特点，但是，采用上述BRA方法，在平台控制方的智能终端向第三方业务平台开放智能终端的远程证明功能时，由于BRA的过程简单，存在泄漏用户信息的问题，以及在高安全业务接入时由于其过程简单，存在难以解决应用环境证明的精确性问题。

发明内容

有鉴于此，本发明提供了一种智能终端远程证明方法和系统，以克服现有技术中由于BRA的证明过于简单，存在泄漏用户信息，以及高安全业务接入时难以解决应用环境证明的精确性的问题。

为实现上述目的，本发明提供如下技术方案：

一种智能终端远程证明方法，应用于智能终端远程证明系统，所述智能终端远程证明系统包括：智能终端TT，平台控制子系统CP和第三方验证子系统VP；该方法包括：

所述CP向所述TT发送平台度量请求；

所述TT响应并依据所述平台度量请求创建可迁移对称密钥SK_CT，并通过完整性度量值PCR引证操作向所述CP发送携带有所述SK_CT和nonce2的度量报告，nonce2用于确认迁移的所述SK_CT是否成功；

所述CP在验证通过所述度量报告的情况下，生成相应的平台度量结果报告与经所述CP的平台私钥解密的所述SK_CT一起保存，并将利用所述SK_CT对所述nonce2进行加密之后生成的反馈至所述TT；

所述TT对获取到的所述进行安全硬件验证，在验证通过的情况下，更新所述SK_CT并将所述SK_CT加载到安全硬件中，并向所述CP发送同步确认信息；

从所述CP处申请到令牌token_CV的所述VP向所述TT发起度量请求；

所述TT依据所述度量请求向所述VP反馈所述TT的设备AIK索引和当前度量的随机数nonce3；

所述VP向所述CP申请对应所述TT的终端度量，所述终端度量的构成包括vpname||AIK索引||nonce3||nonce_V||应用范围度量请求，其中，vpname为所述VP的身份ID，所述AIK索引用于向所述CP表示向哪个TT申请度量，所述nonce3为所述TT发送的当前度量的随机数，所述nonce_V为所述VP自身产生的随机数，所述应用范围度量请求用于表征所述VP向所述CP申请终端的度量文件范围；