公开(公告)号：CN102662144A

公开(公告)日：2012-09-12

申请号：CN201210090666.1

申请日：2012-03-30

Applicant: 北京大学

Inventor： 尚子靖 ,  冯建华 ,  李蕾 ,  安辉耀 ,  王新安 ,  张兴

IPC: G01R31/3183

Abstract: 本发明公开了一种基于活性测度的硬件木马检测方法，该方法包括三个部分：.bench文件生成，电路活性测度和硬件木马检测测试矢量集生成。本发明通过分析电路网表，计算电路内部节点的活性值，产生电路低0活性节点和低1活性节点列表，然后对节点进行判定分组，生成硬件木马检测测试矢量集。本发明可以设置不同活性阈值，不带来检测硬件木马的额外硬件开销，能够有效检测组合逻辑型硬件木马。本发明也可用作硬件木马可检测设计方法中目标节点选取。

公开(公告)号：CN102662144B

公开(公告)日：2017-07-25

申请号：CN201210090666.1

申请日：2012-03-30

Applicant: 北京大学

Inventor： 尚子靖 ,  冯建华 ,  李蕾 ,  安辉耀 ,  王新安 ,  张兴

IPC: G06F21/71

Abstract: 本发明公开了一种基于活性测度的硬件木马检测方法，该方法包括三个部分：bench文件生成，电路活性测度和硬件木马检测测试矢量集生成。本发明通过分析电路网表，计算电路内部节点的活性值，产生电路低0活性节点和低1活性节点列表，然后对节点进行判定分组，生成硬件木马检测测试矢量集。本发明可以设置不同活性阈值，不带来检测硬件木马的额外硬件开销，能够有效检测组合逻辑型硬件木马。本发明也可用作硬件木马可检测设计方法中目标节点选取。