基于子空间域特征提取的硬件木马检测方法 - 东南大学学报.pdf

第４４卷第３期 东南大学学报（自然科 学版 ） Ｖｏｌ．４４ Ｎｏ．３ 　 ２０１４年５月 ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） 　 Ｍａｙ２０１４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１－０５０５．２０１４．０３．００１ 基于子空间域特征提取的硬件木马检测方法 １，２ １ １ １ 薛明富 　 胡爱群　 刘　威　 王有东 １ （东南大学信息科学与工程学院，南京２１００９６） ２ （南洋理工大学电气电子工程学院，新加坡） 摘要：为了解决制造变异和噪声对已有硬件木马检测方法的挑战和干扰，提出了一种新的微弱 木马信号检测技术，能够在较大的制造变异和噪声的背景下提取出木马特征信号．首先，将木马 检测问题建模为特征提取模型，然后提出了一个基于时域约束估计器和主成分投影的统一子空 间木马检测方法．并通过特定的子空间投影或重构信号分析，证实弱小的木马信号可以与各种噪 声和干扰区分开来．该方法为已有的硬件木马检测方法提供了一种通用的消除制造变异和噪声 影响的方法．设计实现了２个时序硬件木马，在ＩＳＣＡＳ８９基准电路上进行了仿真实验验证，并在 ＦＰＧＡ上进行了硬件实物验证，实验结果均表明了所提方法的有效性和高检测精度． 关键词：硬件木马检测；硬件安全；信息安全；子空间域 中图分类号：ＴＰ３０９．１　　文献标志码：Ａ　　文章编号：１００１－０５０５（２０１４）０３０４５７０５ ＤｅｔｅｃｔｉｎｇｈａｒｄｗａｒｅＴｒｏｊａｎｔｈｒｏｕｇｈｆｅａｔｕｒｅｅｘｔｒａｃｔｉｏｎｉｎｓｕｂｓｐａｃｅｄｏｍａｉｎ １，２ １ １ １ ＸｕｅＭｉｎｇｆｕ 　 ＨｕＡｉｑｕｎ　 ＬｉｕＷｅｉ　 ＷａｎｇＹｏｕｄｏｎｇ １ （ＳｃｈｏｏｌｏｆＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１００９６，Ｃｈｉｎａ） ２ （ＳｃｈｏｏｌｏｆＥｌｅｃｔｒｉｃａｌＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ，ＮａｎｙａｎｇＴｅｃｈｎｏｌｏｇｉｃａｌＵｎｉｖｅｒｓｉｔｙ，Ｓｉｎｇａｐｏｒｅ） Ａｂｓｔｒａｃｔ：Ｉｎｏｒｄｅｒｔｏｅｌｉｍｉｎａｔｅｔｈｅｃｈａｌｌｅｎｇｅａｎｄｉｎｔｅｒｆｅｒｅｎｃｅｏｆｔｈｅｐｒｏｃｅｓｓｖａｒｉａｔｉｏｎａｎｄｎｏｉｓｅｓｏｎ ｅｘｉｓｔｉｎｇｈａｒｄｗａｒｅＴｒｏｊａｎｄｅｔｅｃｔｉｏｎｍｅｔｈｏｄｓ，ａｎｏｖｅｌｈａｒｄｗａｒｅＴｒｏｊａｎｄｅｔｅｃｔｉｏｎｔｅｃｈｎｉｑｕｅｉｓｐｒｅｓｅｎ ｔｅｄ，ｗｈｉｃｈｃａｎｄｅｔｅｃｔｔｉｎｙｈａｒｄｗａｒｅＴｒｏｊａｎｃｈａｒａｃｔｅｒｉｓｔｉｃｓｕｎｄｅｒｌａｒｇｅｐｒｏｃｅｓｓｖａｒｉａｔｉｏｎａｎｄｂａｃｋ ｇｒｏｕｎｄｎｏｉｓｅｓ．Ｆｉｒｓｔ，ｔｈｅｈａｒｄｗａｒｅＴｒｏｊａｎｄｅｔｅｃｔｉｏｎｐｒｏｂｌｅｍｉｓｍａｔｈｅｍａｔｉｃａｌｌｙｆｏｒｍｕｌａｔｅｄａｓａｆｅａ ｔｕｒｅｅｘｔｒａｃｔｉｏｎｍｏｄｅｌ．Ｔｈｅｎ，ａｕｎｉｆｉｅｄｓｕｂｓｐａｃｅｈａｒｄｗａｒｅＴｒｏｊａｎｄｅｔｅｃｔｉｏｎｔｅｃｈｎｉｑｕｅｉｓｐｒｏｐｏｓｅｄ ｂａｓｅｄｏｎｔｉｍｅｄｏｍａｉｎｃｏｎｓｔｒａｉｎｅｄｅｓｔｉｍａｔｏｒａｎｄｐｒｉｎｃｉｐａｌｃｏｍｐｏｎｅｎｔｐｒｏｊｅｃｔｉｏｎ．Ｉｔｉｓｐｒｏｖｅｄｔｈａｔｔｈｅ ｗｅａｋｈａｒｄｗａｒｅＴｒｏｊａｎｓｉｇｎａｌｃａｎｂｅｄｉｓｔｉｎｇｕｉｓｈｅｄｆｒｏｍｖａｒｉｏｕｓｎｏｉｓｅｓｏ