[发明专利]硬件木马的旁路检测方法和装置、仿真验证方法和装置

权利要求书

1.一种硬件木马的旁路检测方法，其特征在于，包括：

选取测试向量组，所述测试向量组内包括多个测试向量；

将待测电路和无木马电路使用所述测试向量组内的各个测试向量分别进行功耗信号检测，分别得到包括多个电流分量的检测结果；

计算待测电路与无木马电路的检测结果中的电流绝对差异；

判断所述电流绝对差异是否大于预设阈值，如果是，确定所述待测电路中存在硬件木马，如果否，确定所述待测电路中不存在硬件木马。

2.根据权利要求1所述的方法，其特征在于，所述测试向量组包括静态测试向量组和动态测试向量组；

所述将待测电路和无木马电路使用所述测试向量组内的各个测试向量分别进行功耗信号检测，分别得到包括多个电流分量的检测结果，具体包括：

将待测电路和无木马电路均分别使用静态测试向量组和动态测试向量组进行静态功耗测试和动态功耗测试，均分别得到包括多个静态电流的静态功耗检测结果和包括多个动态电流的动态功耗检测结果；

所述计算待测电路与无木马电路的检测结果中的电流绝对差异，具体包括：

计算待测电路和无木马电路的静态功耗检测结果的静态电流绝对差异，以及计算待测电路和无木马电路的动态功耗检测结果的动态电流绝对差异；

所述判断所述电流绝对差异是否大于预设阈值，如果是，确定所述待测电路中存在硬件木马，如果否，确定所述待测电路中不存在硬件木马，具体包括：

判断所述静态电流绝对差异是否大于第一预设阈值，并判断所述动态电流绝对差异是否大于第二预设阈值，若两个判断结果均为是时，则确定所述待测电路中存在硬件木马；若两个判断结果均为否时，则确定所述待测电路中不存在硬件木马。

3.根据权利要求2所述的方法，其特征在于，所述判断所述静态电流绝对差异是否大于第一预设阈值，并判断所述动态电流绝对差异是否大于第二预设阈值，还包括：

若两个判断结果不一致，则重新选取另一组测试向量组，返回执行所述将待测电路和无木马电路均分别使用静态测试向量组和动态测试向量组进行静态功耗测试和动态功耗测试，均分别得到包括多个静态电流的静态功耗检测结果和包括多个动态电流的动态功耗检测结果。

4.根据权利要求1-3任一项所述的方法，其特征在于，所述电流绝对差异为电流抖动标准差绝对值差异比。

5.一种硬件木马旁路检测的仿真验证方法，其特征在于，包括：

将待验证电路和无木马电路的RTL级电路描述分别生成第一门级网表和第二门级网表；

将所述第一门级网表和第二门级网表分别转换为用于集成电路性能分析的电路模拟程序能够识别的第一功耗测算文件和第二功耗测算文件；

对所述第一功耗测算文件和第二功耗测算文件分别配置测试向量组，所述测试向量组内包括多个测试向量；

将配置好测试向量组的第一功耗测算文件和第二功耗测算文件在所述用于集成电路性能分析的电路模拟程序中运行，得到第一功耗结果文件和第二功耗结果文件，所述第一功耗结果文件中包括与多个测试向量对应的多个第一电流，所述第二功耗结果文件中包括与多个测试向量分别对应的多个第二电流；

根据所述多个第一电流和所述多个第二电流计算待验证电路与无木马电路的电流绝对差异；

判断所述电流绝对差异是否大于预设阈值，如果是，得出所述待验证电路中存在硬件木马的验证结果，如果否，得出所述待验证电路不存在硬件木马的验证结果。

6.根据权利要求5所述的方法，其特征在于，所述待验证电路为基准验证电路ISCAS-85中的C880电路，并在其中植入了8-bit比较器的组合逻辑硬件木马。

7.根据权利要求5所述的方法，其特征在于，所述测试向量组根据最大关键路径位置选取得到。

8.根据权利要求5所述的方法，其特征在于，所述测试向量组为包括多个动态测试向量的动态测试向量组。