[发明专利]硬件木马检测方法、硬件木马检测装置以及硬件木马检测用程序

权利要求书

1.一种硬件木马检测方法，其特征在于，具备：

输入输出更新工序，进行基于检查对象的网表所包括的全部逻辑单元的逻辑式的运算，以进行全部逻辑单元的输入输出值的更新；以及

检测工序，基于更新后的输入输出值与阈值的比较结果，来进行硬件木马的检测。

2.根据权利要求1所述的硬件木马检测方法，其特征在于，

所述硬件木马检测方法具备在所述全部逻辑单元的输入输出的网络中设定参数作为初始值的参数设定工序，

在所述输入输出更新工序中，执行使用了所设定的所述参数的所述运算，对所述逻辑单元的全部进行规定次数冷却以进行输入值和输出值的更新，

在所述检测工序中，基于在进行了规定次数冷却的所述运算时得到的任意一个逻辑单元的输出值来进行硬件木马的检测。

3.根据权利要求1或2所述的硬件木马检测方法，其特征在于，

所述逻辑单元包括逻辑电路、以及在必要的情况下除逻辑电路以外的缓冲器、中继器，

所述输入输出更新工序中，在每1次的冷却中的输入值和输出值的更新的处理内，在针对缓冲器以及中继器的更新的情况下，进行直到输入值被传递到缓冲器或者中继器的输出为止的规定次数更新。

4.根据权利要求1～3中任一项所述的硬件木马检测方法，其特征在于，

所述硬件木马检测方法具备第一阈值获取工序，在所述第一阈值获取工序中，使用包括硬件木马的已知网表以及不包括硬件木马的已知网表来进行所述参数设定工序和所述输入输出更新工序，并基于进行了规定次数冷却的在该输入输出更新工序中的所述运算时得到的结构网内的输入输出值，来求出第一阈值，

在所述检测工序中，使用所述第一阈值进行硬件木马的检测。

5.根据权利要求4所述的硬件木马检测方法，其特征在于，

已知网表以及检查对象的网表构成为至少包括集合网，该集合网包括1个以上由通过端子间网连接的一组电路构成的结构网，

在所述第一阈值获取工序中，按每个结构网获取第一阈值，

所述硬件木马检测方法具备判定分数阈值获取工序，在所述判定分数阈值获取工序中，在已知网表内的各个结构网中根据输入输出值与第一阈值的大小关系来赋予规定值的分数，对已知网表的全部集合网合计对结构网赋予的分数的最大分数，对得到的每个网表分数进行比较，并基于最小的每个网表分数而得到判定分数阈值，

在所述检测工序中，对检查对象的网表的每个结构网，根据输入输出值与第一阈值的大小关系赋予规定值的分数，对检查对象网表的全部集合网合计对结构网赋予的分数的最大分数，得到检查对象分数，并基于所述判定分数阈值来对检查对象分数进行评价，以进行所述检查对象的网表中的硬件木马的检测。

6.根据权利要求1～5中任一项所述的硬件木马检测方法，其特征在于，

所述硬件木马检测方法具备第二阈值获取工序，在所述第二阈值获取工序中，从多个已知网表中提取被预想为包括符合在规定时间内输出恒定值的时钟数为预定值以上、且最大分数网数为最大分数网数阈值以下的条件的硬件木马在内的已知网表，使用提取出的已知网表，进行所述参数设定工序和所述输入输出更新工序，并基于进行了规定次数冷却的在该输入输出更新工序中的所述运算时得到的输出值来求出第二阈值，

在所述检测工序中，使用所述第二阈值进行所述检查对象的网表中的硬件木马的检测。

7.根据权利要求1所述的硬件木马检测方法，其特征在于，

在所述检测工序中，基于与基于所述检查对象的网表的电路规模对应的电路规模对应阈值、和在进行了规定次数冷却的所述运算时得到的任意一个逻辑单元的输入输出值的比较，来进行所述检查对象的网表中的硬件木马的检测。

8.一种硬件木马检测装置，其特征在于，具备：

输入输出更新机构，其进行基于检查对象的网表所包括的全部逻辑单元的逻辑式的运算，以进行全部逻辑单元的输入输出值的更新；以及

检测机构，其基于更新后的输入输出值与阈值的比较结果，来进行硬件木马的检测。