基于有限状态机的硬件木马设计和插入.pdf

北京大学学报 ( 自然科学版), 第 49 卷 , 第 6 期 , 2013 年 11 月 Acta Scientiarum Naturalium Universitatis Pekinensis, Vol. 49, No. 6 (Nov. 2013) Design and Insertion of Hardware Trojan Based on Finite State Machine † LI Lei, SHANG Zijing, FENG Jianhua , ZHANG Xing, AN Huiyao School of Electronics Engineering and Computer Science, Peking University, Beijing 100871; † Corresponding author, E-mail: fengjh@ Abstract According to the hardware Trojans inserted during design and fabrication, the authors provide a new model of Trojan. New model is based on a finite state machine which is more difficult to trigger and detect than those based on combinational circuits. Also, the locations in target circuits to insert Trojans are considered to avoid being detected using path delay fingerprint method. S349 circuit from ISCAS’89 benchmark circuits is chosen as the target circuit. Functional simulations are performed and delay information is simulated. The results show that this type of hardware Trojan is difficult to activate and the insertion method is effective to hide delay information. Key words hardware Trojan; Trojan insertion; hardware security; path delay detection 基于有限状态机的硬件木马设计和插入 † 李蕾 尚子靖 冯建华 张兴 安辉耀 北京大学信息科学技术学院 , 北京 100871; † 通信作者 , E-mail: fengjh@ 摘要 针对集成电路设计和制造中存在的硬件木马问题, 提出一种新的模型来提高木马检测能力。该模型基 于有限状态机, 比组合电路型木马难于触发和检测。同时, 木马电路插入位置的选择也可以有效规避路径延 时检测方法。实验选择 ISCAS’89 基准电路中的 S349 作为目标电路,