摘要: 针对集成电路设计和制造中存在的硬件木马问题, 提出一种新的模型来提高木马检测能力。该模型基于有限状态机, 比组合电路型木马难于触发和检测。同时, 木马电路插入位置的选择也可以有效规避路径延时检测方法。实验选择ISCAS’89基准电路中的S349作为目标电路, 对功能和延时信息进行仿真。实验结果表明, 这种类型的木马难于激活, 并且选择合适的插入位置可以有效隐藏延时信息。
中图分类号:
李蕾, 尚子靖, 冯建华, 张兴, 安辉耀. 基于有限状态机的硬件木马设计和插入[J]. 北京大学学报(自然科学版).
LI Lei,SHANG Zijing,FENG Jianhua,ZHANG Xing,AN Huiyao. Design and Insertion of Hardware Trojan Based on Finite State Machine[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.