[发明专利]用于对受限装置进行符号执行的方法

权利要求书

1.一种对装置进行信任供应的方法，包括：

由硬件安全模块(HSM)接收指令表，所述指令表被配置成产生信任供应信息；

由所述HSM对所述指令表执行约束检查，所述约束检查包括执行所述指令表的符号执行；

接收机密输入；

在所述指令表通过所述约束检查时，由所述HSM对所述机密输入执行所述指令表；

由所述HSM输出信任供应信息。

2.根据权利要求1所述的方法，进一步包括接收对所述指令表进行的所述约束检查所使用的指令定义和约束。

3.根据权利要求1所述的方法，其中所述机密输入包括待信任供应的产品的制造商的机密信息和接收所述待信任供应的产品的客户的机密信息。

4.根据权利要求1所述的方法，其中所述HSM是计算受限装置。

5.根据权利要求1所述的方法，其中所述指令表的所述符号执行跟踪所述指令表所使用的任何参数的机密等级。

6.根据权利要求1所述的方法，其中指令的输出的机密等级与到所述指令的输入的机密等级以及所述指令的定义相对应。

7.根据权利要求1所述的方法，其中所述指令表的所述符号执行包括为所述指令表的每个参数分配数据类型。

8.根据权利要求1所述的方法，其中所述指令表的所述符号执行包括对于每个指令，确定到所述指令的输入的所述机密等级、所述输出的所述机密等级以及所述指令的所述定义满足规定的安全要求。

9.一种对装置进行信任供应的方法，包括：

由第一硬件安全模块(HSM)接收指令表，所述指令表被配置成产生信任供应信息；

接收机密输入；

由所述第一HSM对所述指令表执行约束检查，所述约束检查包括执行所述指令表的符号执行；

在所述指令表通过所述约束检查时，由所述第一HSM对所述指令表进行加密和签名；

由所述第一HSM将所述经加密和签名的指令表发送到第二HSM；

由所述第二HSM对所述经加密和签名的指令表进行解密和认证；

在所述指令表通过约束检查时，由所述第二HSM对所述机密输入执行所述经解密的指令表；

由所述第二HSM输出信任供应信息。

10.一种非暂态机器可读存储介质，用指令进行编码以由硬件安全模块(HSM)执行，所述非暂态机器可读存储介质包括：

用于由所述HSM对所述指令表执行约束检查的指令，所述约束检查包括执行所述指令表的符号执行；

用于接收机密输入的指令；

用于在所述指令表通过所述约束检查时由所述HSM对所述机密输入执行所述指令表的指令；

用于由所述HSM输出信任供应信息的指令。