基于侧信道分析的硬件木马检测方法

doi:10.3969/j.issn.1671-1122.2017.11.003

信息网络安全 ›› 2017, Vol. 17 ›› Issue (11): 19-24.doi: 10.3969/j.issn.1671-1122.2017.11.003

基于侧信道分析的硬件木马检测方法

苏静^1,²(), 赵毅强¹, 张中伟², 谢艳芳²

1.天津大学微电子学院,天津 300072
2.天津科技大学计算机科学与信息工程学院,天津 300222

收稿日期:2017-09-19 出版日期:2017-11-20 发布日期:2020-05-12
作者简介:
作者简介：苏静（1979—）,女,北京,副教授,博士研究生,主要研究方向为信息安全、智能信息处理;赵毅强（1964—）,男,河北,教授,博士,主要研究方向为信息安全、硬件木马;张中伟（1977—）,女,天津,讲师,硕士,主要研究方向为信息安全;谢艳芳（1977—）,女,天津,讲师,硕士,主要研究方向为嵌入式应用。
基金资助:
国家自然科学基金[61376032,61402331];天津市自然科学基金重点资助项目[12JCZDJC20500]

Method on Hardware Trojans Detection Based on Side Channel Analysis

Jing SU^1,²(), Yiqiang ZHAO¹, Zhongwei ZHANG², Yanfang XIE²

1.School of Microelectrnics, Tianjin University, Tianjin 300072, China
2.College of Computer Science and Information Engineering, Tianjin University of Science&Technology, Tianjin 300222, China;

Received:2017-09-19 Online:2017-11-20 Published:2020-05-12

摘要/Abstract

摘要：

文章在提出木马理论分析和侧信道检测方法基础上,研究模式相似性理论,并将其应用于集成电路侧信道信息的数据分析与分类处理。文章进而提出了一种基于距离测度分布的侧信道硬件木马检测方法,并详细介绍了检测原理和检测流程,最终在自主设计的FPGA检测平台上进行基于功耗信息的实验验证,实验证明文章提出的方法可以检测出面积为0.6%左右的硬件木马。

关键词: 硬件木马, 功耗分析, 模式识别, 距离测度分布

Abstract:

In this paper the hardware Trojans theory is described and the side-channel detection method is mentioned firstly,then the pattern similarity theory is studied and applied into the data processing and analysis of side channel information in integrated circuits. Furthermore a method on hardware Trojans detection is set up based on distance measure distribution, and the detection principle and the detection process is given in details. Finally the experiments are implemented in FPGA platform based on power side-channel information. The experiments show that when the Trojan circuit of area 0.6% is implanted into the standard circuit, the detection method in this paper can detect them successfully.

Key words: hardware Trojans, power analysis, pattern recognition, distance measure distribution

中图分类号:

TP309.1

苏静, 赵毅强, 张中伟, 谢艳芳. 基于侧信道分析的硬件木马检测方法[J]. 信息网络安全, 2017, 17(11): 19-24.

Jing SU, Yiqiang ZHAO, Zhongwei ZHANG, Yanfang XIE. Method on Hardware Trojans Detection Based on Side Channel Analysis[J]. Netinfo Security, 2017, 17(11): 19-24.

图/表 5

参考文献 20

[1]	HE L, LIU Q,ZHANG J.A Survey of Hardware Trojan Threat and Defense[J]. INTEGRATION, the VLSI journal, 2016,55:426-437.
[2]	MITRA S, WONG H S P , WONG S, The Trojan-proof Chip[J]. Spectrum IEEE,2015 , 52(2) :46-51.
[3]	CHAKRABORTY R S,SAHA I, PALCHAUDHURI A,et al.Hardware Trojan Insertion by Direct Modification of FPGA Configuration Bitstream[J]. IEEE Design & Test , 2013 , 30(2) :45-54.
[4]	SHILA D M,VENUGOPAL V.Design, Implementation and Security Analysis of Hardware Trojan Threats in FPGA[C]// ACM . FPGA '14 Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays,February 26 - 28, 2014,Monterey, California, USA .ACM:New York, 2014:719-724.
[5]	KIM L W,VILLASENOR J D.Dynamic Function Replacement for System-on-chip Security in the Presence of Hardware-based Attacks[J]. IEEE Transactions on Reliability , 2014 , 63(2) :661-675.
[6]	RUDRA M R,DANIEL N A,NAGOORKAR V,et al.Designing Stealthy Trojans with Sequential Logic: A Stream Cipher Case Study[EB/OL]. https://www.researchgate.net/publication/266657437_Designing_Stealthy_Trojans_with_Sequential_Logic_A_Stream_Cipher_Case_Study,2016-7-15.
[7]	BHASIN S,REGAZZONI F.A Survey on Hardware Trojan Detection Techniques[C]//IEEE.IEEE International Symposium on Circuits and Systems (ISCAS), May 24-27, Lisbon, Portugal. IEEE:New York,2015: 2021-2024.
[8]	WANG X X, SALMANI H,TEHRANIPOOR M, et al.Hardware Trojan Detection and Isolation Using Current Integration and Localized Current Analysis[C]// IEEE .2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, October 1-3,2008,Boston, MA, USA. IEEE:New York,2008:87-95.
[9]	AGRAWAL D, BAKTIR S, ARKOYUNLU D, et al.Trojan Detection Using IC Fingerprinting[C]// IEEE .IEEE Symposium on Security and Privacy,May 20-23,Berkeley, CA, USA . IEEE:New York, 2007:296-310.
[10]	张鹏,王新成,周庆.基于投影寻踪分析的芯片硬件木马检测[J].通信学报, 2013, 34(4):122-126.
[11]	刘长龙,赵毅强,史亚峰,等.基于相关性分析的硬件木马检测方法[J].计算机工程,2013, 39(9):183-185.
[12]	王力纬,贾鲲鹏,方文啸,等.基于马氏距离的硬件木马检测方法[J].微电子学, 2013(6):817-820.
[13]	周昱,于宗光. 硬件木马威胁与识别技术综述[J]. 信息网络安全,2016(1):11-17.
[14]	赵毅强,杨松,何家骥,等.基于主成分分析的硬件木马检测方法[J].华中科技大学学报(自然科学版), 2015, 43(8):66-69.
[15]	蒋政君,田海博,张方国. 基于PUF的RFID防伪技术研究综述[J]. 信息网络安全,2016(4):38-43.
[16]	刘长龙,赵毅强,史亚峰,等.基于侧信道分析的硬件木马的建模与优化[J].华中科技大学学报(自然科学版), 2013, 41(2):53-57.
[17]	王庆,屠晨阳,沈嘉荟. 侧信道攻击通用框架设计及应用[J]. 信息网络安全,2017(5):57-62.
[18]	吴晓萍,赵学靖,乔辉,等.基于LASSO-SVM的软件缺陷预测模型研究[J].计算机应用研究, 2013, 43(8):66-69.
[19]	刘长龙. 基于侧信道分析的硬件木马检测方法研究[D].天津:天津大学电子信息工程学院,2013.
[20]	冯紫竹. 基于侧信道分析的硬件木马检测平台设计[D].天津:天津大学电子信息工程学院,2013.

基于侧信道分析的硬件木马检测方法

Method on Hardware Trojans Detection Based on Side Channel Analysis

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 5

参考文献 20

相关文章 8

编辑推荐

Metrics

本文评价

[1]	陈颖, 陈长松, 胡红钢. SM4硬件电路的功耗分析研究[J]. 信息网络安全, 2018, 18(5): 52-58.
[2]	苏静, 路文玲, 赵毅强, 史艳翠. 基于支持向量机的硬件木马检测建模与优化[J]. 信息网络安全, 2017, 17(8): 33-38.
[3]	周昱, 于宗光. 硬件木马威胁与识别技术综述[J]. 信息网络安全, 2016, 16(1): 11-17.
[4]	. 扫描电压对硬件木马检测影响分析[J]. , 2014, 14(7): 7-.
[5]	曾浩然;张宝昌. 基于Gaussian算法的密码智能识别认证系统[J]. , 2012, 12(9): 0-0.
[6]	邹蕾;张先锋. 人工智能及其发展应用[J]. , 2012, 12(2): 0-0.
[7]	颜靖华. 车牌信息识别技术算法研究[J]. , 2011, 11(4): 0-0.
[8]	年安君;苑津莎;李中. 基于自组织抗体网络的算法研究[J]. , 2011, 11(11): 0-0.