[发明专利]基于控制流模型多次度量的静态远程证明方法

权利要求书

1.一种基于控制流模型的多次度量静态远程证明方法，其特征在于，该方法包括：

S1、服务提供商根据用户的安全需求，对任务运行期间的静态属性进行规则制定，生成策略证书；

S2、移动终端获取策略证书，并执行策略控制；所述策略控制为移动终端基于策略证书和控制流模型对终端操作系统进行访问控制；

S3、移动终端对任务运行中多个度量点的静态属性进行度量和远程证明；所述度量点与控制流模型中的控制点一致。

2.如权利要求1所述方法，其特征在于，所述静态属性包括主体属性、客体属性和/或操作系统环境中的静态属性。

3.如权利要求1所述方法，其特征在于，所述度量点包括：进程的启动、加载、停止和休眠。

4.如权利要求1所述方法，其特征在于，该方法还包括：当控制流中的约束条件发生变化时，所述移动终端对任务运行中多个度量点的静态属性进行度量和远程证明的步骤。

5.如权利要求1所述方法，其特征在于，所述步骤S3具体包括：

S31：移动终端系统的多个控制点对策略证书中指定静态属性发起度量，提取特征信息；

S32：应用代理发起远程证明，将特征信息通过安全协议提交服务器；

S33：服务器的工具通过与正确特征信息比对，验证特征信息。

6.如权利要求5所述方法，其特征在于，所述步骤S31还包括：移动终端系统的移动可信模块使用算法对特征信息进行加密、杂凑和签名保护。

7.如权利要求1所示，其特征在于，所述控制流模型位于移动终端操作系统内核中。