IP核安全路径的选取与可组合证明

发布时间：2023-10-20 20:53

　　现代半导体芯片规模越来越大、设计越来越复杂,为了缩短开发周期、降低设计成本,芯片中往往会使用大量IP核。而这些IP核往往由第三方提供,其安全性无法保证,恶意厂商可能会在IP核中植入后门或硬件木马,导致整个芯片和系统的信息安全受到严重威胁,因此需要可靠的验证手段来检测第三方IP核的安全性。本文提出了一种基于形式化验证的属性验证方法,用于第三方IP软核RTL级信息流安全检测,结合IP核的安全需求对IP核的安全属性进行描述,制定符合形式化验证的规范描述方式,可以在不影响原电路正常功能的前提下,自动的对IP核是否满足安全属性进行检测。本文对IP核安全路径验证的基本理论进行分析,介绍了IP核安全路径验证所需的环境及方法。所提出的IP核代码污迹标记和追踪方法通过寄存器级的污迹标记位,可以更加直观地观测IP核中的信息流走向,从而分析出IP核中数量庞大而复杂的数据路径,加上安全属性的描述,以构建良好的验证环境。现有的可信度验证方法不能同时兼顾效率和准确性的优点,在众多的安全路径中,有一些是安全需求不关注的,如果穷举所有路径进行验证就会浪费大量的时间和精力,本文详细介绍了如何选取关键路径并且切断无关路径...

【文章页数】：60 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
1 绪论
    1.1 课题研究背景和意义
    1.2 国内外研究现状
    1.3 本文的主要工作
    1.4 论文的组织结构
2 IP核安全路径验证原理
    2.1 安全属性模型描述
    2.2 IP核代码污迹标记追踪处理
    2.3 IP核安全路径验证方法
    2.4 本章小结
3 IP核安全路径验证的实现
    3.1 整体方案设计
    3.2 安全路径选取与可组合证明的自动化程序设计与实现
    3.3 本章小结
4 基于AES加密IP核的安全路径验证测试
    4.1 带木马的AES加密IP核
    4.2 安全路径验证
    4.3 本章小结
5 总结与展望
    5.1 总结
    5.2 展望
致谢
参考文献
附录1 攻读硕士学位期间的科研工作及成果



本文编号：3855524