基于RTL级硬件木马的检测方法

成祥; 李磊; 程伟

Chinese

您当前的位置：

首页 >

文章列表页 >

基于RTL级硬件木马的检测方法

更新时间：2026-09-04

- 基于RTL级硬件木马的检测方法
- A Detection Method of Hardware Trojans Based on RTL
- 微电子学与计算机 2017年34卷第3期页码：56-60
- 作者机构：
  
  电子科技大学电子科学技术研究院,四川,成都,610054
- 作者简介：
- 基金信息：
  
  NSAF联合基金 U1630133
- DOI：
  中图分类号：
- 纸质出版：2017
- 稿件说明：
移动端阅览
成祥, 李磊, 程伟. 基于RTL级硬件木马的检测方法[J]. 微电子学与计算机, 2017, 34(3): 56-60.

CHENG Xiang, LI Lei, CHENG Wei. A Detection Method of Hardware Trojans Based on RTL[J]. 2017, 34(3): 56-60.
成祥, 李磊, 程伟. 基于RTL级硬件木马的检测方法[J]. 微电子学与计算机, 2017, 34(3): 56-60. DOI：

CHENG Xiang, LI Lei, CHENG Wei. A Detection Method of Hardware Trojans Based on RTL[J]. 2017, 34(3): 56-60. DOI：

摘要

随着集成电路产业的飞速发展和产业布局的改变

交由第三方设计制造的芯片越来越流行

如何保证芯片设计安全成为了人们日益关注的问题.对此

以目前硬件木马检测的主要方法为背景

以AES木马为基准电路

从RTL级语言结构出发

依据perl语言强大的文本匹配能力

提出了一种基于Verilog IEEE标准的RTL级硬件木马的分析方法

以期从源头上保证硬件木马设计的安全性.

Abstract

With the development of the integrated circuits and the transform of industrial distribution

it becomes more and more popular for some company to rely on the third party to design their chips. To ensure the sercurity of chip design flow has become the concern of people. With the context of the main detections of Hardware Trojan

the paper proposed a method to detect the RTL level HTs

based on the verilog IEEE characteristics and the AES benchmarks and the powerful capability of text-matching of perl

thus

to ensure security from the initial design.

关键词

Keywords

references

Kan Xiao, Domenic Forte, Mohammed Tehranipoor, et al. A novel built-In self-authentication technique to prevent inserting hardware Trojans[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2014, 33(12): 1778-1791. DOI: 1778

房磊. 基于门级网表的硬件木马检测技术研究[D]. 成都: 电子科技大学, 2014.

Jie Zhang, Qiang Xu. On hardware Trojan design and implementation at register-transfer level[C]//IEEE International Symposium on Hardware-Oriented Security and Trust (HOST). Austin: IEEE, 2013: 107-112.

Liu Huafeng, Luo Hongwei, Wang Liwei, et al. Design of hardware Trojan horse based on counter[C]//IEEE International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering. Xi'an: IEEE, 2011: 1007-1009.

唐棠. 基于旁路分析的硬件木马检测技术研究[D]. 成都: 电子科技大学, 2014.

Mainak Banga, Michael S Hsiao. Trusted RTL: Trojan detection methodology in pre-sSilicon designs[C]//IEEE International Symposium on Hardware-Oriented Security and Trust. Anaheim: IEEE, 2010: 56-59.

李振. 数字类型的硬件木马设计实现与分析[D]. 成都: 电子科技大学, 2011.

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

浏览量

下载量

CSCD

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

提交

工具集

关联资源

基于FPGA的以太网MAC控制器的实现

基于多尺度融合与小目标增强的航拍车辆检测算法

面向处理器分支预测单元的Spectre攻击轻量化防御方法

基于监控指标关联性的微服务异常检测

一种用于极低压boost系统的高效率电荷泵