集成电路中硬件木马防御技术研究

doi:10.3969/j.issn.1000-3428.2016.01.023

计算机工程

集成电路中硬件木马防御技术研究

赵毅强,何家骥,杨松,刘沈丰

(天津大学电子信息工程学院,天津 300072)

收稿日期:2014-12-04 出版日期:2016-01-15 发布日期:2016-01-15
作者简介:赵毅强(1964-),男,教授、博士生导师,主研方向为信息安全、集成电路可靠性研究;何家骥、杨松、刘沈丰,硕士研究生。
基金资助:
国家自然科学基金资助项目“无参考模型的硬件木马检测技术研究”(61376032);天津市自然科学基金资助重点项目“硬件木马检测技术的研究”(12JCZDJC20500)。

Research on Defense Technology Against Hardware Trojans in Integrated Circuits

ZHAO Yiqiang,HE Jiaji,YANG Song,LIU Shenfeng

(School of Electronic Information Engineering,Tianjin University,Tianjin 300072,China)

Received:2014-12-04 Online:2016-01-15 Published:2016-01-15

摘要/Abstract

摘要： 随着集成电路（IC）设计、制造、测试等环节相分离的趋势进一步增强,使得IC中被植入硬件木马的可能性增大。介绍硬件木马概念及危害,研究硬件木马防御技术,并从硬件木马检测和集成电路安全性设计2个方面进行阐述,分析硬件木马检测中的旁路分析技术、集成电路安全性设计中的电路增强设计技术。分析结果表明,为最大限度地保障集成电路的安全,设计者在电路设计时需考虑到电路的安全性问题,同时在芯片加工完成后开展硬件木马的检测工作。

关键词: 集成电路, 硬件木马, 防御技术, 旁路分析, 安全性设计

Abstract: With the further improvement of design,manufacture and test separation in Integrated Circuits(IC),hardware trojans can be implemented as modifications to IC,and it raises numerous concerns regarding possible threats.This paper briefly explains the concept of hardware trojans,and explains the countermeasures technology of hardware trojan attacks and the importance of conducting out the countermeasures against hardware trojans.Also it introduces the classification of the state-of-art countermeasures,deeply analyzes the side-channel analysis method and the design for security method.Analysis results show that the designers must consider circuit security problem in designing circuits in onder to the security of integrated circuits,meanwhile they begin test works ensure after chips are completed.

Key words: Integrated Circuits(IC), hardware trojans, countermeasures technology, side-channel analysis, security design

中图分类号:

TP391

赵毅强,何家骥,杨松,刘沈丰. 集成电路中硬件木马防御技术研究[J]. 计算机工程, doi: 10.3969/j.issn.1000-3428.2016.01.023.

ZHAO Yiqiang,HE Jiaji,YANG Song,LIU Shenfeng. Research on Defense Technology Against Hardware Trojans in Integrated Circuits[J]. Computer Engineering, doi: 10.3969/j.issn.1000-3428.2016.01.023.

https://www.ecice06.com/CN/Y2016/V42/I1/128

参考文献

参考文献［1］Agrawal D,Baktir S,Karakoyunlu D,et al.Trojan Detection Using IC Fingerprinting［C］//Proceedings of IEEE Sympo-sium on Security and Privacy.Washington D.C.,USA:IEEE Press,2007:296-310. ［2］Tehranipoor M,Koushanfar F.A Survey of Hardware Trojan Taxonomy and Detection［C］//Proceedings of IEEE Conference on Design & Test of Computers.Washington D.C.,USA:IEEE Press，2009:10-25. ［3］Bhunia S,Hsiao M S,Banga M,et al.Hardware Trojan Attacks:Threat Analysis and Countermeasures［J］.Proceedings of the IEEE,2014,102(8):1229-1247. ［4］刘长龙,赵毅强,史亚峰,等.基于相关性分析的硬件木马检测方法［J］.计算机工程,2013,39(9):183-185,189. ［5］冯紫竹,赵毅强,刘长龙.一种基于时序型硬件木马的 IP 版权保护结构［J］.计算机工程,2014,40(9):19-22. ［6］Rostami M,Koushanfar F,Rajendran J,et al.Hard-wareSecurity:Threat Models and Metrics［C］//Proceedings of International Conference on Computer-aided Design.Washington D.C.,USA:IEEE Press,2013:819-823. ［7］Sunar B.Rise of the Hardware Trojans［C］//Proceedings of the 17th IEEE International On-line Testing Symposium.Washington D.C.,USA:IEEE Press,2011:138-138. ［8］Moore T,Jarvis J.FailureAnalysis and Stress Simulation in Small Multichip BGAs［C］//Proceedings of the 38th IEEE International Reliability Physics Symposium.Washington D.C.,USA:IEEE Press,2000:217-224. ［9］罗宏伟.集成电路芯片安全隐患检测技术［J］.半导体技术,2008,32(12):1094-1097. ［10］Chakraborty R S,Wolff F,Paul S,et al.MERO:AStatistical Approach for Hardware Trojan Detection［C］//Proceedings of CHES’09.Berlin,Germany:Springer,2009:396-410. ［11］Jha S.Randomization Based Probabilistic Approach to Detect Trojan Circuits［C］//Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium.Washington D.C.,USA:IEEE Press,2008:117-124. ［12］Banga M,Chandrasekar M,Fang L,et al.Guided Test Generation for Isolation and Detection of Embedded Trojans in Ics［C］//Proceedings of the 18th ACM Great Lakes Symposium on Very Large Scale Integration.New York,USA:ACM Press,2008:363-366. ［13］Cao Yuchen,Zhou Yongbin,Yu Zhenmei.On the Negative Effects of Trend Noise and Its Applications in Side-channel Cryptanalysis［J］.Chinese Journal of Electronics,2014,23(2). ［14］Aarestad J,Acharyya D,Rad R,et al.Detecting Trojans Through Leakage Current Analysis Using Multiple Supply Pads［J］.IEEE Transactions on Information Forensics and Security,2010,5(4):893-904. ［15］Narasimhan S,Du D,Chakraborty R S,et al.Hardware Trojan Detection by Multiple-parameter Side-channel Analysis［J］.IEEE Transactions on Computers,2013,62(11):2183-2195. ［16］Banga M,Hsiao M S.ARegion Based Approach for the Identification of Hardware Trojans［C］//Proceedings of IEEE International Workshop on Hardware-oriented Security and Trust.Washington D.C.,USA:IEEE Press,2008:40-47. (下转第137页) (上接第132页) ［17］刘长龙,赵毅强,史亚峰,等.基于侧信道分析的硬件木马建模与优化［J］.华中科技大学学报:自然科学版,2013,41(2):53-57. ［18］张鹏,王新成,周庆.基于电磁辐射信号分析的芯片硬件木马检测［J］.电子学报,2013,42(2):341-346. ［19］Kumar P,Srinivasan R.Detection of Hardware Trojan in SEA Using Path Delay［C］//Proceedings of IEEE Conference on Electrical,Electronics and Computer Science.Washington D.C.,USA:IEEE Press,2014:1-6. ［20］Li J,Lach J.At-speed Delay Characterization for IC Authentication and Trojan Horse Detection［C］//Proceedings of IEEE International Workshop on Hardware-oriented Security and Trust.Washington D.C.,USA:IEEE Press,2008:8-14. ［21］Chakraborty R S,Bhunia S.Security Against Hardware Trojan Attacks Using Key-based Design Obfuscation［J］.Journal of Electronic Testing,2011,27(6):767-785. ［22］Schrittwieser S,Katzenbeisser S,Kieseberg P,et al.Covert Computation——Hiding Code in Code Through Compile-time Obfuscation［J］.Computers & Security,2014,42(1):13-26. ［23］Xiao K,Tehranipoor M.BISA:Built-in Self-authentication for Preventing Hardware Trojan Insertion［C］//Pro-ceedings of IEEE International Workshop on Hardware-oriented Security and Trust.Washington D.C.,USA:IEEE Press,2013:45-50. ［24］Bhunia S,Abramovici M,Agrawal D,et al.Protection Against Hardware Trojan Attacks:Towards a Com-prehensive Solution［J］.IEEE Design & Test,2013,30(3):6-17. ［25］Zhang X,Tehranipoor M.RON:An On-chip Ring Oscillator Network for Hardware Trojan Detection［C］//Proceedings of DATE’11.Washington D.C.,USA:IEEE Press,2011:1-6. ［26］Salmani H,Tehranipoor M,Plusquellic J.A Novel Technique for Improving Hardware Trojan Detection and Reducing Trojan Activation Time［J］.IEEE Transactions on Very Large Scale Integration Systems,2012,20(1):112-125. 编辑索书志

[1]	王景熠, 朱予涵, 周茹平, 刘耿耿. 基于动态粒子群优化的X结构Steiner最小树算法[J]. 计算机工程, 2024, 50(9): 226-234.
[2]	张洋, 刘畅, 李少青. 基于可控制性度量的图神经网络门级硬件木马检测方法[J]. 计算机工程, 2024, 50(7): 164-173.
[3]	倪林, 刘子辉, 张帅, 韩久江, 鲜明. 基于灰度图谱分析的IP软核硬件木马检测方法[J]. 计算机工程, 2024, 50(3): 44-51.
[4]	黄姣英, 李胜玉, 高成, 杨达明. 一种时序型总线硬件木马的植入与检测[J]. 计算机工程, 2021, 47(3): 160-165.
[5]	胡涛, 佃松宜, 蒋荣华. 基于长短时记忆神经网络的硬件木马检测[J]. 计算机工程, 2020, 46(7): 110-115.
[6]	李莹,陈岚,周崟灏. 硬件木马旁路检测方法的影响因素研究[J]. 计算机工程, 2019, 45(1): 145-152.
[7]	王建新,王柏人,曲鸣,张磊. 基于改进欧式距离的硬件木马检测[J]. 计算机工程, 2017, 43(6): 92-96.
[8]	倪林,石磊,韩鹍,李少青. 基于特征匹配的IP软核硬件木马检测[J]. 计算机工程, 2017, 43(3): 176-180.
[9]	高振斌,白雪,杨松,何家骥. 基于隐马尔可夫模型的硬件木马检测方法[J]. 计算机工程, 2016, 42(9): 126-131.
[10]	冯紫竹,赵毅强,刘长龙. 一种基于时序型硬件木马的IP 版权保护结构[J]. 计算机工程, 2014, 40(9): 19-22.
[11]	孙慧盈，陆继承，魏长征，俞军. 基于Walsh谱变换的S盒算法[J]. 计算机工程, 2014, 40(7): 18-22.
[12]	廖海涛，史峥，张腾. 基于边界扩张的点对点布线新算法[J]. 计算机工程, 2014, 40(5): 299-303.
[13]	郑朝霞，李一帆，余良，田园，刘政林. 基于概率签名的硬件木马检测技术[J]. 计算机工程, 2014, 40(3): 18-22.
[14]	杨媛,彭凯,吕磊,高勇. 视觉假体高阶调制解调系统VLSI 优化设计[J]. 计算机工程, 2014, 40(10): 281-286,291.
[15]	刘长龙，赵毅强，史亚峰，冯紫竹. 基于相关性分析的硬件木马检测方法[J]. 计算机工程, 2013, 39(9): 183-185,189.

选择文件类型/文献管理软件名称

选择包含的内容

集成电路中硬件木马防御技术研究

Research on Defense Technology Against Hardware Trojans in Integrated Circuits

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

集成电路中硬件木马防御技术研究

Research on Defense Technology Against Hardware Trojans in Integrated Circuits

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价