首页|硬件木马检测方法与防护技术研究

硬件木马检测方法与防护技术研究

扫码查看
随着集成电路技术的高速发展,芯片设计和制造越来越容易受到恶意行为的影响.在微电子系统中,硬件安全起着至关重要的作用.硬件安全作为一门学科起源于密码学,涉及硬件设计和安全的多方计算.硬件木马(HT)是硬件安全的主要威胁,因为一旦激活,HT会改变电路的行为并泄露信息.本文对现有的硬件木马检测方法与防护技术进行了系统的综述.首先,介绍了硬件木马的基本概念、类型及其对系统安全的威胁.然后,详细评述了流片前和流片后硬件木马检测技术,包括形式化验证、功能验证、侧信道分析、逻辑测试等方法,以及这些方法的优缺点和适用场景.进一步,探讨了在设计、制造和供应链等环节的防护技术,如第三方知识产权可信设计策略、数字签名和加密技术等.最后,本文总结了当前硬件木马检测和防护技术的研究现状,指出了现存的挑战和未来的发展方向.本文旨在为硬件木马研究提供全面的参考,以提高数字基础设施的安全性.
Research on Detection Method and Protection Measure of Hardware Trojan
With the high speed development of the integrated circuit technique,chip design and manu-facture are increasingly vulnerable to malicious acts.As a discipline originated from the cryptography,hardware security plays a crucial role in microelectronic systems and involves the hardware design and the secure multi-party computation.Hardware Trojan(HT)is a major threat to hardware security since HT will change the circuit behavior and reveal information once activated.In this paper,existing detec-tion methods and protection measures of HT are comprehensively summarized.First,basic concept,HT type and threat to system security are introduced.Then,pre-tape-out and post-tape-out HT detection methods are reviewed in detail,including formal verification,functional verification,side channel anal-ysis and logic testing,etc.Merits,demerits and applicable scenarios of each method are also presen-ted.In addition,protection measures in designing,manufacturing and supplying processes are dis-cussed,e.g.strategy of third-party intellectual property trusted design,digital signature and encryption technique,etc.Finally,current research status of HT detection and protection technique are summa-rized,Existing challenge and future development direction are presented.This paper could provide a comprehensive reference for HT research to improve the security of the digital infrastructure.

integrated circuithardware Trojanprotection measureformal verificationencryption technique

肖超恩、昌湘泽、王建新、张磊

展开 >

北京电子科技学院电子与通信工程系,北京10070

集成电路 硬件木马 防护技术 形式化验证 加密技术

2024

北京电子科技学院学报
北京电子科技学院

北京电子科技学院学报

影响因子:0.245
ISSN:1672-464X
年,卷(期):2024.32(3)