积分商城

最新搜索： LabVIEW2018 稳定 PCB设计规范 multisim 邵革良FlybackTransformerWizard MAX14807
您现在的位置是：首页 > 技术资料 > 车规计算芯片的硬件木马检测与可信设计方法.docx
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

车规计算芯片的硬件木马检测与可信设计方法.docx

更新时间：2026-09-18 15:26:58 大小：38K 上传用户：烟雨查看TA发布的资源 标签：车规计算芯片硬件木马检测可信设计形式化验证供应链安全 下载积分：2分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

车规计算芯片的硬件木马检测与可信设计方法

一、硬件木马的威胁模型与分类

硬件木马是车规计算芯片在全球化供应链中最隐蔽的安全威胁。硬件木马是指在芯片设计或制造过程中被恶意植入的电路或逻辑修改，能够在特定触发条件下绕过正常的安全机制。硬件木马按触发方式分为 数字触发型（基于特定的状态机序列或计数器阈值触发）和 模拟触发型（基于温度、电压或电磁场触发）。按载荷功能分为信息泄露型（通过隐蔽信道悄悄泄漏密钥数据）和功能破坏型（在特定时刻引起功能失效）。

在车规计算芯片中，硬件木马的植入点可能遍布供应链的各个环节：第三方IP核中可能嵌入后门逻辑；代工厂在光刻掩膜版上的恶意修改可能产生硬件木马；封装厂可能在测试过程中植入探测点。硬件木马检测需要在芯片设计和制造的多个环节实施检查措施，贯穿从RTL到GDSII到晶圆制造的完整链条。

二、设计阶段的木马检测技术

在芯片设计阶段，形式化验证 是最有效的木马检测方法之一。形式化验证工具将芯片的RTL设计与规范需求（如"安全状态下不应泄漏密钥"）建模为数学命题，通过SAT求解器或模型检查器穷举所有可能的状态组合，验证不存在违反安全属性的状态路径。形式化验证的优点是穷举性和确定性—不存在软件测试中常见的覆盖率盲区。


部分文件列表

文件名 大小
102-车规计算芯片的硬件木马检测与可信设计方法.docx 38K

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

  • 21下载积分 打赏60.00元   3天前

    用户：gsy幸运

  • 21下载积分 打赏70.00元   3天前

    用户：铁蛋锅

  • 21下载积分 打赏65.00元   3天前

    用户：xzxbybd

  • 21下载积分 打赏60.00元   3天前

    用户：jh0355

  • 21下载积分 打赏60.00元   3天前

    用户：w178191520

  • 21下载积分 打赏20.00元   3天前

    用户：jh03551

  • 21下载积分 打赏20.00元   3天前

    用户：sun2152

  • 21下载积分 打赏20.00元   3天前

    用户：kk1957135547

  • 21下载积分 打赏25.00元   3天前

    用户：w1966891335

  • 21下载积分 打赏20.00元   3天前

    用户：xuzhen1

  • 21下载积分 打赏15.00元   3天前

    用户：x15580286248

  • 21下载积分 打赏25.00元   3天前

    用户：pcb

  • 21下载积分 打赏20.00元   3天前

    用户：bhacker

  • 21下载积分 打赏15.00元   3天前

    用户：liqiang9090

  • 21下载积分 打赏25.00元   3天前

    用户：有理想666

  • 21下载积分 打赏15.00元   3天前

    用户：godbox

  • 21下载积分 打赏15.00元   3天前

    用户：aetek

  • 21下载积分 打赏5.00元   3天前

    用户：mulanhk

  • 21下载积分 打赏5.00元   3天前

    用户：JuneLin61

热门下载

资料专题

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号