北京电子科技学院学报2024,Vol.32Issue(3) :21-39.

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

Research on Detection Method and Protection Measure of Hardware Trojan

肖超恩 昌湘泽 王建新 张磊
北京电子科技学院学报2024,Vol.32Issue(3) :21-39.

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

Research on Detection Method and Protection Measure of Hardware Trojan

肖超恩 1昌湘泽 1王建新 1张磊1
扫码查看

作者信息

  • 1. 北京电子科技学院电子与通信工程系,北京10070
  • 折叠

摘要

随着集成电路技术的高速发展,芯片设计和制造越来越容易受到恶意行为的影响.在微电子系统中,硬件安全起着至关重要的作用.硬件安全作为一门学科起源于密码学,涉及硬件设计和安全的多方计算.硬件木马(HT)是硬件安全的主要威胁,因为一旦激活,HT会改变电路的行为并泄露信息.本文对现有的硬件木马检测方法与防护技术进行了系统的综述.首先,介绍了硬件木马的基本概念、类型及其对系统安全的威胁.然后,详细评述了流片前和流片后硬件木马检测技术,包括形式化验证、功能验证、侧信道分析、逻辑测试等方法,以及这些方法的优缺点和适用场景.进一步,探讨了在设计、制造和供应链等环节的防护技术,如第三方知识产权可信设计策略、数字签名和加密技术等.最后,本文总结了当前硬件木马检测和防护技术的研究现状,指出了现存的挑战和未来的发展方向.本文旨在为硬件木马研究提供全面的参考,以提高数字基础设施的安全性.

Abstract

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.

关键词

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

Key words

integrated circuit/hardware Trojan/protection measure/formal verification/encryption technique

引用本文复制引用

出版年

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

北京电子科技学院学报

影响因子:0.245
ISSN:1672-464X
段落导航相关论文