本发明提供一种基于控制流模型行为的动态远程证明方法，该方法包括：S1、服务提供商根据用户安全需求，对任务运行期间动态变化条件进行规则制订，生成策略证书；S2、移动终端获取策略证书，并执行策略控制；所述策略控制为移动终端在操作系统中基于控制流模型和策略证书进行系统访问控制；S3、若操作系统发现控制流模型中由于监控点条件改变引起控制变化，则移动终端主动发起进行远程证明；或根据终端需求，服务提供商主动发起进行远程证明。通过本发明能够更好的验证移动终端计算环境安全可信性。