加速硬件木马检测方法研究

发布时间：2018-04-15 08:31

本文选题：二选一数据选择器 + 硬件木马　；参考：《哈尔滨工业大学学报》2017年11期

【摘要】：为有效检测出芯片在设计和外包制造过程中是否被插入硬件木马电路,提出一种在芯片设计阶段插入二选一数据选择器(MUX)来提高电路节点转移概率的方法.即在电路中转移概率低于转移概率阈值的候选节点的主要输入端插入MUX来提高相关节点的转移概率,从而实现加速电路中硬件木马的检测.通过对扇出锥和电路逻辑拓扑结构的分析,选择对整个电路转移概率影响最大的节点作为候选节点,实现对MUX插入算法的优化,从而减少MUX的插入数量.同时增加关键路径延时限制,避免电路关键路径延迟超过预先设定的阈值.将预先设计的硬件木马电路的输入端插入在电路中转移概率较小的节点,并向电路输入端输入激励信号,分析计算在MUX插入前后电路转移概率变化以及硬件木马电路的激活概率.ISCAS'89基准电路的实验结果表明:在插入MUX之后,电路整体转移概率显著提高,电路中转移概率小于转移概率阈值的节点数明显降低;被插入在电路中的硬件木马被激活的概率显著提高;电路关键路径延时增加百分比控制在预先设定的比例因子之内.
[Abstract]:In order to detect effectively whether the chip is inserted into the hardware Trojan circuit during the design and outsourcing process, a method is proposed to improve the transition probability of circuit nodes by inserting a data selector (MUX) from two parts in the design phase of the chip.That is to say, MUX is inserted into the main input of candidate nodes whose transition probability is lower than the threshold of transition probability to improve the transition probability of related nodes, thus the detection of hardware Trojan horse in the accelerating circuit can be realized.Based on the analysis of the fan out cone and the logical topology of the circuit, the nodes that have the greatest influence on the transition probability of the whole circuit are selected as candidate nodes to optimize the MUX insertion algorithm and reduce the number of MUX inserts.At the same time, the critical path delay limit is increased to avoid the circuit critical path delay exceeding the preset threshold.The input end of the pre-designed hardware Trojan circuit is inserted into the node with low transition probability, and the excitation signal is input to the input end of the circuit.The experimental results of calculating the circuit transition probability before and after the MUX insertion and the activation probability of the hardware Trojan circuit. The experimental results show that after inserting MUX, the overall transition probability of the circuit is significantly increased.The number of nodes whose transition probability is less than the threshold of transition probability is obviously reduced; the probability of being activated by the hardware Trojan horse inserted into the circuit is increased significantly; and the percentage increase of critical path delay in the circuit is controlled within the predetermined scale factor.
【作者单位】：西南交通大学信息科学与技术学院;哈尔滨工业大学空间基础科学研究中心;
【基金】：国家自然科学基金(61100031)
【分类号】：TN407

【相似文献】