基于探索式分区和测试向量生成的硬件木马检测方法.pdfVIP

第 ５ 期 电　　子　　学　　报 Ｖｏｌ．４４　Ｎｏ．５ ２０１ ６ 年 ５ 月 ＡＣＴＡ ＥＬＥＣＴＲＯＮＩＣＡ ＳＩＮＩＣＡ Ｍａｙ　２０１ ６ 基于探索式分区和测试向量生成的 硬件木马检测方法 薛明富１ ，２，３，４ ，胡爱群２ ，王　箭１ ，４ （１ ．南京航空航天大学计算机科学与技术学院，江苏南京 ２１ ００１ ６；２．东南大学信息科学与工程学院，江苏南京 ２１ ００９６； ３．中国民航大学中国民航信息技术科研基地，天津 ３００３００；４．软件新技术与产业化协同创新中心，江苏南京 ２１ ００２３） 　　摘　要：　本文提出基于分区和最优测试向量生成的硬件木马检测方法．首先，采用基于扫描细胞分布的分区算 法将电路划分为多个区域．然后，提出测试向量重组算法，对各区域依据其自身结构生成近似最优的测试向量．最后， 进行分区激活和功耗分析以检测木马，并采用信号校正技术消减制造变异和噪声的影响．优点是成倍提高了检测精 度，克服了制造变异的影响，解决了面对大电路的扩展性问题，并可以定位木马．在基准电路上的验证实验表明检测性 能有较大的提升． 关键词：　硬件安全；硬件木马检测；探索式分区；最优测试向量生成 中图分类号：　ＴＰ３０９　　　文献标识码：　Ａ　　　文章编号：　０３７２２１ １ ２ （２０１ ６）０５１ １ ３２０７ 电子学报 ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１ ０．３９６９ ／ｊ．ｉｓｓｎ．０３７２２１ １ ２．２０１ ６．０５．０１ ７ Ａ Ｎｏｖｅｌ Ｈａｒｄｗａｒｅ Ｔｒｏｊａｎ Ｄｅｔｅｃｔｉｏｎ Ｔｅｃｈｎｉｑｕｅ Ｕｓｉｎｇ Ｈｅ???ｒｉｓｔｉｃ Ｐａｒｔｉｔｉｏｎ ａｎｄ Ｔｅｓｔ Ｐａｔｔｅｒｎ Ｇｅｎｅｒａｔｉｏｎ ＸＵＥ Ｍｉｎｇｆｕ１ ，２，３，４ ，ＨＵ Ａｉｑｕｎ２ ，ＷＡＮＧ Ｊｉａｎ１ ，４ （１ ．Ｃｏｌｌｅｇｅ ｏｆＣｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ ａｎｄ Ｔｅｃｈｎｏｌｏｇｙ，Ｎａｎｊｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ ｏｆＡｅｒｏｎａｕｔｉｃｓ ａｎｄ Ａｓｔｒｏｎａｕｔｉｃｓ，Ｎａｎｊｉｎｇ，Ｊｉａｎｇｓｕ ２１ ００１ ６，Ｃｈｉｎａ； ２．Ｓｃｈｏｏｌ ｏｆＩｎｆｏｒｍａｔｉｏｎ Ｓｃｉｅｎｃｅ ａｎｄ Ｅｎｇｉｎｅｅｒｉｎｇ，Ｓｏｕｔｈｅａｓｔ Ｕｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，Ｊｉａｎｇｓｕ ２１ ００９６，Ｃｈｉｎａ； ３．Ｉｎｆｏｒｍａｔｉｏｎ Ｔｅｃｈｎｏｌｏｇｙ Ｒｅｓｅａｒｃｈ Ｂａｓｅ ｏｆＣｉｖｉｌ Ａｖｉａｔｉｏｎ Ａｄｍｉｎｉｓｔｒａｔｉｏｎ ｏｆＣｈｉｎａ，Ｃｉｖｉｌ Ａｖｉａｔｉｏｎ Ｕｎｉｖｅｒｓｉｔｙ ｏｆＣｈｉｎａ，Ｔｉａｎｊｉｎ ３００３００，Ｃｈｉｎａ； ４．Ｃｏｌｌａｂｏｒａｔｉｖｅ Ｉｎｎｏｖａｔｉｏｎ Ｃｅｎｔｅｒ ｏｆＮｏｖｅｌ Ｓｏｆｔｗａｒｅ Ｔｅｃｈｎｏｌｏｇｙ ａｎｄ Ｉｎｄｕｓｔｒｉａｌｉｚａｔｉｏｎ，Ｎａｎｊｉｎｇ，Ｊｉａｎｇｓｕ ２１ ００２３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ａ ｎｏｖｅｌ ｈａｒｄｗａｒｅ Ｔｒｏｊａｎ ｄｅｔｅｃｔｉｏｎ ｍｅｔｈｏｄ ｂａｓｅｄ ｏｎ ｈｅｕｒｉｓｔｉｃ ｐａｒｔｉｔｉｏｎ ａｎｄ ｏｐｔｉｍａｌ ｔｅｓｔ ｐａ