[发明专利]基于门级结构特征的单触发硬件木马检测方法

摘要

本发明公开了基于门级结构特征的单触发硬件木马检测方法，包括以下步骤(1)基于现有的硬件木马基准电路，抽象出单触发类型硬件木马的结构特征，构成硬件木马结构库；(2)输入待测的未知电路(3)得到对应的网表形式的电路；(4)将网表电路抽象为有向图；(5)得到电路中所有逻辑门的分数序列；(6)使用预设的异常值识别算法，标记出分数序列中的异常值，并把异常分数所对应的逻辑门加入到最后的木马可疑逻辑门集合中。该方法能够更准确地抽象出单触发硬件木马的触发电路特征，同时改进分数累加算法，即在保留电路全部信息的同时有效地降低硬件木马的检测时间、提高硬件木马的检测准确率。

主权项

基于门级结构特征的单触发硬件木马检测方法，其特征在于，基于单触发硬件木马基准电路的硬件木马特征库，描述硬件木马的触发电路特征，包括以下步骤：(1)基于现有的硬件木马基准电路，抽象出单触发类型硬件木马的结构特征，构成硬件木马结构库；(2)输入待测的未知电路，待测的未知电路包括RTL形式电路或网表形式电路；(3)对于输入形式是RTL的待测电路，使用网表综合工具对RTL电路进行综合，得到对应的网表形式的电路，其中在综合过程中确保电路的组合逻辑部分无环路出现；(4)将网表电路抽象为有向图，并对其中的AONN(AND、OR、NAND、NOR)类型的逻辑门赋予一个分数属性，对分数进行初始化；(5)在有向图中寻找与硬件木马结构特征库匹配的结构，并按要求逐级累加逻辑门的分数，待匹配过程完成后，得到电路中所有逻辑门的分数序列；(6)使用预设的异常值识别算法，标记出分数序列中的异常值，并把异常分数所对应的逻辑门加入到最后的木马可疑逻辑门集合中。