硬件木马检测与防范研究综述

许强; 蒋兴浩; 姚立红; 张志强; 张诚

doi:10.11959/j.issn.2096-109x.2017.00160

您当前的位置：

首页 >

文章列表页 >

硬件木马检测与防范研究综述

综述 | 更新时间：2024-06-03

- 硬件木马检测与防范研究综述
- Overview of the detection and prevention study of hardware Trojans
- 网络与信息安全学报 2017年3卷第4期页码：1-13
- 作者机构：
  
  1. 上海交通大学电子信息与电气工程学院，上海 200240
  2. 上海机电工程研究所，上海 201109
- 作者简介：
  
  [ "许强（1992-），男，江西赣州人，上海交通大学博士生，主要研究方向为信息安全。" ]
  [ "蒋兴浩（1976-），男，河南邓州人，博士，上海交通大学教授，主要研究方向为网络空间安全、信息处理。" ]
  [ "姚立红（1974-），女，江苏建湖人，博士，上海交通大学高级工程师，主要研究方向为系统安全、网络访问控制。" ]
  [ "张志强（1978-），男，山东高青人，上海机电工程研究所高级工程师，主要研究方向为信息对抗。" ]
  [ "张诚（1985-），女，江苏徐州人，上海机电工程研究所工程师，主要研究方向为信息对抗。" ]
- 基金信息：
  
  航天先进技术联合基金资助项目;The Aerospace Advanced Technology Jointly Funded Project
- DOI：10.11959/j.issn.2096-109x.2017.00160
  中图分类号： TN972
- 网络首发：2017-04，
  
  纸质出版：2017-04-15
- 稿件说明：
移动端阅览
许强, 蒋兴浩, 姚立红, 等. 硬件木马检测与防范研究综述[J]. 网络与信息安全学报, 2017,3(4):1-13.

Qiang XU, Xing-hao JIANG, Li-hong YAO, et al. Overview of the detection and prevention study of hardware Trojans[J]. Chinese Journal of Network and Information Security, 2017, 3(4): 1-13.
许强, 蒋兴浩, 姚立红, 等. 硬件木马检测与防范研究综述[J]. 网络与信息安全学报, 2017,3(4):1-13. DOI： 10.11959/j.issn.2096-109x.2017.00160.

Qiang XU, Xing-hao JIANG, Li-hong YAO, et al. Overview of the detection and prevention study of hardware Trojans[J]. Chinese Journal of Network and Information Security, 2017, 3(4): 1-13. DOI： 10.11959/j.issn.2096-109x.2017.00160.

摘要

集成电路芯片的设计和制造是当今电子化产业中关键的组成部分，第三方技术服务的日益普及可能导致电路芯片在制造过程中被植入硬件木马，这对电子设备在安全性上带来了很大的挑战。在简单介绍硬件木马的概念的基础上，分析了硬件木马的组成与特点，然后重点探讨了现阶段硬件木马的检测和防范技术，最后对硬件木马的发展趋势进行了总结。

Abstract

The design and manufacture of integrated circuit chips are now a key component of the electronic industry.The increasing popularity of third-party technology services may lead to the implantation of hardware chips in the manufacturing process

which brings great challenge to the security of electronic devices.After introducing the concept of hardware Trojans

the characteristics and its forms were briefly analyzed.Then the detection technologies

and the prevention strategies of the hardware Trojans were discussed.At last

the development trend of the hardware Trojans was summarized.

关键词

Keywords

references

YANG K Y , HICKS M , DONG Q , et al . A2:analog malicious hardware [C ] // 2016 IEEE Symposium on Security and Privacy (SP) . 2016 : 18 - 37 .

ZHANG J , YUAN F , WEI L , et al . VeriTrust：verification for hardware trust [C ] // The Computer-aided Design of Integrated Circuits and Systems . 2013 : 1148 - 1161 .

KARRI R , RAJENDRAN J , ROSENFELD K . Trustworthy hardware:identifying and classifying hardware Trojans [J ] . Journal of Computer , 2010 , 43 ( 10 ): 39 - 46 .

XIAO K , FORTE D , JIN Y , et al . Hardware Trojans:lessons learned after one decade of research [J ] . ACM Transactions on Design Automation of Electronic Systems , 2016 , 22 ( 1 ): 1 - 23 .

BAO C , FORTE D , SRIVASTAVA A . On application of one-class SVM to reverse engineering-based hardware Trojan detection [C ] // The International Symposium on Quality Electronic Design . 2014 : 47 - 54 .

BANGA M , HSIAO M S . A region based approach for the identification of hardware Trojans [C ] // IEEE Workshop on Hardware Oriented Security and Trust-HOST . 2008 : 40 - 47 .

BHUNIA S , HSIAO M S , BANGA M , et al . Hardware Trojan attacks:threat analysis and counter measures [J ] . Proceedings of the IEEE , 2014 , 102 ( 8 ): 1229 - 1247 .

BAUMGATEN A , STEFFEN M , CLAUSMAN M , et al . A case study in hardware Trojan design and implementation [J ] . International Journal of Information Security , 2011 , 10 ( 1 ): 1 - 14 .

LIN L , KASPEr M , GUNEYSU T , et al . Trojan side-channel:light weight hardware trojans through side-channel engineering [C ] // The 11th International Workshop on Cryptographic Hardware and Embedded Systems ( CHES 2009 ) . 2009 : 382 - 395 .

JIN Y , MAKRIS Y . Hardware Trojans in wireless cryptographic ICs [J ] . IEEE Design & Test , 2010 , 27 ( 1 ): 26 - 35 .

倪林 , 李少青 , 马瑞聪 , 等 . 硬件木马检测与防护 [J ] . 数字通信 , 2014 , 41 ( 1 ): 59 - 63 .

NI L , LI S Q , MA R C , et al . Hardware Trojan detection and protection [J ] . Digital Communications , 2014 , 41 ( 1 ): 59 - 63 .

谢海 , 恩云飞 , 王力纬 . 电磁泄露型硬件木马设计与检测 [J ] . 广东工业大学学报 , 2013 ( 4 ): 70 - 73 .

XIE H , EN Y F , WANG L W . Design and detection of hardware Trojan based on electromagnetic leakage [J ] . Journal of Guangdong University of Technology , 2013 ( 4 ): 70 - 73 .

邹程 , 张鹏 , 邓高明 , 等 . 基于功率旁路泄露的硬件木马设计 [J ] . 计算机工程 , 2011 , 37 ( 11 ): 135 - 137 .

ZOU C , ZHANG P , DENG G M , et al . Design of hardware Trojan based on power side-channel exposure [J ] . Computer Engineering , 2011 , 37 ( 11 ): 135 - 137 .

吴志凯 , 魏佩 , 陈吉华，等 . 一种基于少态触发的硬件木马设计与实现 [C ] // 微处理器技术论坛 . 2014 .

WU Z K , WEI P , CHEN J H , et al . Design and implementation based on less state trigger hardware Trojans [C ] // Microprocessor Technology BBS , 2014 .

王晓晗 , 李雄伟 , 张阳 , 等 . 一种基于故障注入的硬件木马设计 [J ] . 军械工程学院学报 , 2015 ( 5 ): 57 - 61 .

WANG X H , LI X W , ZHANG Y , et al . Hardware Trojan design based on fault injection [J ] . Journal of Ordnance Engineering College , 2015 ( 5 ): 57 - 61 .

李蕾 , 尚子靖 , 冯建华 , 等 . 基于有限状态机的硬件木马设计和插入 [J ] . 北京大学学报:自然科学版 , 2013 , 49 ( 6 ): 1105 - 1110 .

LI L , SHANG Z J , FENG J H , et al . Design and insertion of hardware Trojan based on finite state machine [J ] . Acta Scientiarum Naturalium Universitatis Pekinensis , 2013 , 49 ( 6 ): 1105 - 1110 .

AGRAWAL D , BAKTIR S , KARAKOYUNLU D , et al . Trojan detection using IC fingerprinting [C ] // /The 2007 IEEE Symposium Security and Privacy . 2007 : 296 - 310 .

BHASIN S , DANGER J L , GUILLEY S , et al . Hardware Trojan horses in cryptographic IP Cores [C ] // Fault Diagnosis and Tolerance in Cryptography . 2013 : 15 - 29 .

刘华锋 , 罗宏伟 , 王力纬 . 硬件木马综述 [J ] . 微电子学 , 2011 , 41 ( 5 ): 709 - 713 .

LIU H F , LUO H W , WANG L W , et al . Survey on hardware Trojan horse [J ] . Microelectronics , 2011 , 41 ( 5 ): 709 - 713 .

POTKONJAK M , NAHAPETIAN A , NELSON M , et al . Hardware Trojan horse detection using gate-level characterization [C ] // Design Automation Conference (DAC '09) . 2009 : 688 - 693 .

NARASIMHAN S , DU D , CHAKRABORTY R S , et al . Multiple-parameter side-channel analysis:a non-invasive hardware trojan detection approach [C ] // IEEE Workshop on Hardware-Oriented Security and Trust-HOST . 2010 : 13 - 18 .

BANGA M , HSIAO M S . VITAMIN:voltage inversion technique to ascertain malicious insertions in ICs [C ] // IEEE Workshop onHardware-Oriented Security and Trust-HOST . 2009 : 104 - 107 .

JIN Y , MAKRIS Y . Hardware Trojan detection using path delay fingerprint [C ] // IEEE Workshop on Hardware-Oriented Securityand Trust- HOST , 2008 : 51 - 57 .

EXURVILLE I , FOURNIER J , DUTERTRE J M , et al . Practical measurements of data path delays for IP authentication and integrity verification [C ] // IEEE International Workshop on Reconfigurableand Communication-Centric Systems-on-Chip-ReCoSoC . 2013 : 1 - 6 .

李雄伟 , 王晓晗 , 张阳 , 等 . 基于多旁路综合分析的硬件木马检测方法 [J ] . 计算机仿真 , 2015 , 32 ( 3 ): 216 - 219 .

LI X W , WANG X H , ZHANG Y , et al . Hardware Trojan detection method based on multiple side-channels analysis [J ] . Computer Simulation , 2015 , 32 ( 3 ): 216 - 219 .

NGO X T , NAJM Z , GUILLEY S , et al . Method taking into account process dispersion to detect hardware Trojan horse by sidechannel [C ] // Security Proofs for Embedded Systems−PROOFS . 2014 .

RAD R , PLUSQUELLIC J , TEHRANIPOOR M . Sensitivity analysis to hardware Trojans using power supply transient signals [C ] // IEEE Workshop on Hardware-Oriented Security and Trust-HOST . 2008 : 3 - 7 .

RAD R , WANG X , TEHRANIPOOR M , et al . Power supply signal calibration techniques for improving detection resolutionto hardware Trojans [C ] // IEEE International Conference on ComputerAided Design-ICCAD . 2008 : 632 - 639 .

SUI Q . Hardware Trojan detection based on side channel signal analysis [D ] . Changsha:National University of Defense Technology , 2012 .

CHAKRABORTY R S , WOLFF F , PAUL S , et al . ME-RO:a statistical approach for hardware Trojan detection [C ] // Lecture Notes in Computer Science . 2009 : 396 - 410 .

冯秋丽 . 基于节点活性的硬件木马检测方法研究 [D ] . 广州：广东工业大学 . 2016 .

FENG Q L . The research of hardware Trojan detection method based on nodes activity [D ] . Guangzhou:Guangdong University of Technology . 2016 .

CHAKRABONY R S , BHUNIA S . Security against hardware Trojan attacks using key—based design obfuscation [J ] . Journal of Electronic Testing , 2011 , 27 ( 6 ): 767 - 785 .

XIAO K , TEHRANIPOOR M . BISA:built-in self-authentication for preventing hardware Trojan insertion [C ] // IEEE Intemational Workshop on Hardware-oriented Security and Trust . 2013 : 45 - 50 .

ROY J A , KOUSHANFAR F , MARKOV I L . EPIC:ending piracy of integrated circuits [C ] // Design,Automation & Test in Europe . 2008 : 1069 - 1074 .

LIU B , WANG B . Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks [C ] // The Design,Automation and Test in Europe Conference and Exhibition (DATE’14) . 2014 : 1 - 6 .

RAJENDRAN J , ZHANG H , SINANOGLU O , et al . High-level synthesis for security and trust [C ] // The 2013 IEEE 19th International on-Line Testing Symposium (IOLTS’13) . 2013 : 232 - 233 .

BI Y , GAILLARDON P E , HU X S , et al . Leveraging emerging technology for hardware security - case study on silicon nanowire FETs and graphene SymFETs [C ] // Test Symposium . 2014 : 342 - 347 .

KEREN I L , KARPOVSKY M . Duplication based one-to-many coding for Trojan HW detection [C ] // The 2010 IEEE 25th International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT’10) . 2010 : 160 - 166 .

REECE T , LIMBRICK D B , ROBINSON W H . Design comparison to identify malicious hardware in external intellectual property [C ] // IEEE International Conference on Trust,Security and Privacy in Computing and Communications . 2011 : 639 - 646 .

王龙 , 陈吉华 , 李少青，等 . 基于第三方IP核硬件木马防护性设计 [C ] // 微处理器技术论坛 . 2015 .

WANG L , CHENJ H , LI S Q , et a1 . Based on the third party IP core hardware Trojan defensive design [C ] // Microprocessor Technology BBS . 2015 .

IMESON F , EMTENAN A , GARG S , et al . Securing computer hardware using 3D integrated circuit (IC) technology and split manufacturing for obfuscation [C ] // The Usenix Security Symposium . 2013 .

VAIDYANATHAN K , DAS B P , SUMBUL E , et al . Building trusted ICs using split fabrication [C ] // IEEE International Symposium on Hardware-Oriented Security and Trust . 2014 : 1 - 6 .

XIAO K , FORTE D , TEHRANIPOOR M M . Efficient and secure split manufacturing via obfuscated built-in self-authentication [C ] // The 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST’15) . 2015 : 14 - 19 .

BHUNIA S,ABRAMOVICI M , AGRAWAL D , et a1 . Protection against hardware Trojan attacks:towards a comprehensive solution [J ] . IEEE Design & Test , 2013 ( 3 ): 6 - 17 .

SALMANI H , TEHRANIPOOR M , PLUSQUELLIC J . A novel technique for improving hardware Trojan detection and reducing trojan activation time [C ] // IEEE Transactions on Very Large Scale Integration (VLSI) Systems . 2012 : 112 - 125 .

SALMANI H , TEHRANIPOOR M , PLUSQUELLIC J . A layout-aware approach for improving localized switching to detect hardware Trojans in integrated circuits [C ] // 2010 IEEE International Workshop on Information Forensics and Security(WIFS 2010) . 2010 .

石朝阳 , 邹雪城 , 明瑞华 , 等 . 一种基于密钥的硬件木马预防方法研究 [J ] . 现代电子技术 , 2016 , 39 ( 20 ).

SHI Z Y , ZOU X C , MING R H , et a1 . Hardware Trojan prevention method based on secret key [J ] . Modern Electronics Technique , 2016 , 39 ( 20 ).

曾辰熙 , 吴泉源 , 李爱平 , 等 . 基于模糊层次分析的木马攻击效果评估技术研究 [J ] . 网络与信息安全学报 , 2016 , 2 ( 7 ): 49 - 58 .

ZENG C X , WU Q Y , LI A , et al . Research on FAHP based Trojan attack effect evaluation [J ] . Chinese Journal of Network and Information Security , 2016 , 2 ( 7 ): 49 - 58 .

浏览量

5022

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于模型相似度的模型恶意代码夹带检测方法