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

摘要：

针对集成电路设计和制造中存在的硬件木马问题,提出一种新的模型来提高木马检测能力.该模型基于有限状态机,比组合电路型木马难于触发和检测.同时,木马电路插入位置的选择也可以有效规避路径延时检测方法.实验选择ISCAS'89基准电路中的S349作为目标电路,对功能和延时信息进行仿真.实验结果表明,这种类型的木马难于激活,并且选择合适的插入位置可以有效隐藏延时信息.

关键词：硬件木马、木马插入、硬件安全、路径延时检测

所属期刊栏目：49

分类号：TN407(微电子学、集成电路（IC）)

资助基金：国家自然科学基金61176039

在线出版日期：2017-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1105-1110