一种支持动态远程证明的移动终端系统

摘要

一种支持动态远程证明的移动终端系统，包括：控制流控制内核模块，在移动终端的操作系统上实现控制流模型，并且基于控制流模型和安全策略对移动终端系统中的主体属性、客体属性、权能条件、约束条件和环境条件进行控制；混合远程证明模块，同时支持基于模型行为的远程证明方法和基于多次度量的远程证明方法，对系统中的主体属性、客体属性、权能条件、约束条件和环境条件进行远程验证；证明交互模块，将混合远程证明模块采集的证明信息发送到服务器进行验证并且接收服务器的验证结果信息。本发明所述的移动终端系统能够把基于模型行为的远程证明方法和基于多次度量的远程证明方法同时应用到移动终端系统中，加强了移动终端系统的可信性和安全性。

主权项

一种支持动态远程证明的移动终端系统，包括：控制流控制内核模块，在移动终端的操作系统上实现控制流模型，并且基于控制流模型和安全策略对移动终端系统中的主体属性、客体属性、权能条件、约束条件和环境条件进行控制；混合远程证明模块，同时支持基于模型行为的远程证明方法和基于多次度量的远程证明方法，对系统中的主体属性、客体属性、权能条件、约束条件和环境条件进行远程验证；证明交互模块，将混合远程证明模块采集的证明信息发送到服务器进行验证并且接收服务器的验证结果信息。