基于结构特征的IP软核硬件木马检测方法

发布时间：2021-02-26 12:51

　　针对集成电路设计时引入第三方IP软核,极易存在安全威胁的问题,现有的功能测试和搜索方法无法实现快速检测。本文提出一种基于结构特征的IP软核木马检测方法,并通过软件实现快速结构搜索和信号安全性分析。首先对典型的木马触发模块结构特征进行分析,用软件实现IP软核快速结构搜索,提取可疑的信号,然后对信号进行路径追踪,最后对信号路径进行分析是否有非法路径或功能篡改。在AES电路上实验结果表明,通过分析触发模块的结构特征和电路特征,本方法能够快速识别指定触发模型的硬件木马。 

【文章来源】：电子设计工程. 2020,28(15)

【文章页数】：6 页

【文章目录】：
1 基于结构特征的检测方法
    1.1 结构搜索
        1.1.1 累加器
        1.1.2 线性反馈移位器
        1.1.3 状态机
    1.2 路径追踪和安全性分析
2 方法实验
    2.1 结构搜索
    2.2 路径追踪和安全性分析
    2.3 实验结果分析
3 结论


【参考文献】：
期刊论文
[1]基于携带证明代码的IP核安全性验证方法[J]. 王丽娟,张荣,周昱,魏敬和.  电子设计工程. 2019(05)
[2]硬件木马技术研究进展[J]. 尹勇生,汪涛,陈红梅,邓红辉.  微电子学. 2017(02)
[3]基于特征匹配的IP软核硬件木马检测[J]. 倪林,石磊,韩鹍,李少青.  计算机工程. 2017(03)
[4]硬件木马研究动态综述[J]. 赵剑锋,史岗.  信息安全学报. 2017(01)
[5]集成电路中硬件木马防御技术研究[J]. 赵毅强,何家骥,杨松,刘沈丰.  计算机工程. 2016(01)
[6]一种木马电路的实现与特征分析[J]. 郑朝霞,韩玲,李阳,邹雪城.  微电子学与计算机. 2012(10)

硕士论文
[1]抗物理攻击安全芯片关键技术研究[D]. 张赟.天津大学 2016
[2]数字软核IP质量评测平台的研究与设计[D]. 陈涛.西安电子科技大学 2014
[3]AES加密算法的研究与IP核设计实现[D]. 王小伟.哈尔滨工业大学 2013



本文编号：3052613