节点文献

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

A Detection Method of Hardware Trojans Based on RTL

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 成祥李磊程伟

【Author】 CHENG Xiang;LI Lei;CHENG Wei;Research Institute of Electronic Science and Technology,UESTC;

【机构】 电子科技大学电子科学技术研究院

【摘要】 随着集成电路产业的飞速发展和产业布局的改变,交由第三方设计制造的芯片越来越流行,如何保证芯片设计安全成为了人们日益关注的问题.对此,以目前硬件木马检测的主要方法为背景,以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.

【关键词】 硬件木马AES基准木马RTL级Verilogperl
【Key words】 hardware tojanAES benchmarksRTL levelverilogperl
【基金】 NSAF联合基金(U1630133)
  • 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,2017年03期
  • 【分类号】TN407
  • 【被引频次】6
  • 【下载频次】275
节点文献中: 

本文链接的文献网络图示:

本文的引文网络