技术总结
一种对装置进行信任供应的方法，包括：由硬件安全模块(HSM)接收指令表，所述指令表被配置成产生信任供应信息；由所述HSM对所述指令表执行约束检查，所述约束检查包括执行所述指令表的符号执行；接收机密输入；在所述指令表通过所述约束检查时，由所述HSM对所述机密输入执行所述指令表；由所述HSM输出信任供应信息。
技术研发人员：弗洛里安·博埃尔;克莱门斯·奥斯克尔;克劳斯·马丁·波茨马德;安德烈亚斯·丹尼尔·辛恩霍费尔;克里斯蒂亚·斯帝格
受保护的技术使用者：恩智浦有限公司
技术研发日：2018.04.04
技术公布日：2018.10.23