用于硬件木马定位的 RTL 设计社会网络分析
密码学与安全
2019-12-24 v1
摘要
由于专有知识产权（IP）的离岸外包，近期硬件安全领域的激增十分显著。这一破坏性威胁的一个独特维度是恶意逻辑植入，亦称硬件木马（HT）。HT stealthily 地颠覆设备的正常操作。HT 激活机制及其在设计中所处位置的多样性使得不存在通用的检测技术。在本文中，我们提出利用社会网络分析的原理对寄存器传输级（RTL）设计进行针对 HT 的安全分析。该方法基于考察设计属性，并扩展了当前的检测技术。具体而言，我们同时进行节点级和图级分析以确定设计中网线之间的直接与间接交互。该技术不仅有助于发现可作为 HT 触发信号的脆弱网线，还有助于发现它们影响特定网线充当 HT 有效载荷信号的交互。我们在 420 个组合 HT 实例上实验该技术，平均能以高达 97.37% 的准确率检测触发与有效载荷信号。
引用
@article{arxiv.1912.10312,
title = {Socio-network Analysis of RTL Designs for Hardware Trojan Localization},
author = {Sheikh Ariful Islam and Farha Islam Mime and S M Asaduzzaman and Farzana Islam},
journal= {arXiv preprint arXiv:1912.10312},
year = {2019}
}
备注
Accepted to be Published in: Proceedings of the 2019 22nd International Conference on Computer and Information Technology (ICCIT), 18-20 December 2019, Dhaka, Bangladesh