[发明专利]用于证明的方法和装置

权利要求书

1.一种在第一设备处实现的方法，包括：

向第二设备发送用于验证在所述第二设备上的程序的完整性的第一请求；

接收来自所述第二设备的第一响应，其中所述第一响应包括关于在所述程序的运行期间收集的一个或多个标签的信息；以及

根据所述第一响应和预期响应来证明所述程序的完整性。

2.根据权利要求1所述的方法，还包括：

将所述一个或多个标签插入到所述程序的代码中。

3.根据权利要求1或2所述的方法，还包括：

根据所述第一请求和所述程序确定所述预期响应。

4.根据权利要求1-3中的任一项所述的方法，其中，基于所述第一响应和预期响应来证明所述程序的完整性包括：

如果在预定时间段内没有收到所述第一响应或者没有来自所述第二设备的响应，则确定所述程序未通过运行时证明。

5.根据权利要求1-4中的任一项所述的方法，其中，当所述程序未通过运行时证明时，所述方法还包括：

向所述第二设备发送用于获取与所述一个或多个标签的至少一部分有关的信息的第二请求；

从所述第二设备接收第二响应，所述第二响应包括关于所述一个或多个标签的至少一部分的信息；

比较接收到的信息和对应的预期信息；和

根据比较结果定位所述程序的被攻击区域。

6.根据权利要求5所述的方法，其中，所述一个或多个标签的所述至少一部分是基于二进制搜索算法来确定的。

7.根据权利要求5至6中任一项所述的方法，其中，所述关于一个或多个标签的信息包括所述一个或多个标签的逻辑计算结果，所述与所述一个或多个标签的所述至少一部分有关的信息包括：所述一个或多个标签的所述至少一部分的逻辑计算结果。

8.根据权利要求7所述的方法，其中，所述逻辑计算是异或运算。

9.根据权利要求1至8中任一项所述的方法，其中，所述第一响应还包括所述程序的代码的哈希值。

10.根据权利要求1至9中任一项所述的方法，其中，所述第一响应还包括所述第二设备的数字签名。

11.根据权利要求1-10中的任一项所述的方法，其中，所述一个或多个标签包括以下中的至少一个：普通标签，数据标签和迭代标签。

12.根据权利要求1至11中的任一项所述的方法，其中，所述第一请求包括以下中的至少一个：所述程序的输入参数，要被证明的所述程序的一个或多个代码区域的指示符，以及随机数。

13.一种在第二设备处实现的方法，包括：

从第一设备接收用于验证在所述第二设备上的程序的完整性的第一请求；

在所述程序的运行期间收集一个或多个标签；

生成包括关于所述一个或多个标签的信息的第一响应；和

将所述第一响应发送给所述第二设备。

14.根据权利要求13所述的方法，其中，所述一个或多个标签被插入到所述程序的代码中。

15.根据权利要求13-14中任一项所述的方法，还包括：

从所述第一设备接收用于获取与所述一个或多个标签的至少一部分有关的信息的第二请求；

生成第二响应，所述第二响应包括所述与一个或多个标签的至少一部分有关的信息；和

将所述第二响应发送给所述第二设备。

16.根据权利要求15所述的方法，其中，所述一个或多个标签的所述至少一部分是基于二进制搜索算法来确定的。