210 likes | 418 Views
基于侧信道分析的硬件木马 检测平台设计. Reporter: 冯紫竹. 什么是硬件木马?. 在集成电路设计或制造过程中嵌入的多余电路单元. 潜伏的. 微小的. 特点. 特定条件激活的. 恶意的. 硬件木马的分类. 传统分类方法 : 组合型 时序性. 结构和功能: 触发部分 有效载荷部分. 硬件木马的检测方法. 基于失效分析. 基于逻辑测试分析. 基于侧信道分析. 硬件木马检测平台的搭建. 电流探头. 电源. 设备. PC. 数字示波器. FPGA 开发板. 硬件木马检测平台的搭建. 侧信道. 功耗. 电磁. 方法.
E N D
基于侧信道分析的硬件木马检测平台设计 Reporter: 冯紫竹
什么是硬件木马? 在集成电路设计或制造过程中嵌入的多余电路单元 潜伏的 微小的 特点 特定条件激活的 恶意的
硬件木马的分类 传统分类方法: 组合型 时序性 结构和功能: 触发部分 有效载荷部分
硬件木马的检测方法 基于失效分析 基于逻辑测试分析 基于侧信道分析
硬件木马检测平台的搭建 电流探头 电源 设备 PC 数字示波器 FPGA开发板
硬件木马检测平台的搭建 侧信道 功耗 电磁 方法
硬件木马检测平台的搭建 多维检测方法 目标 提高信噪比
时序型硬件木马 同步型
时序型硬件木马 异步型
基于失效分析 早期的检测方法 耗时 物理验证方法 费用不菲 反向提取电路 芯片结构复杂 与原始电路比对
基于逻辑测试 产生测试激励 硬件木马激活 概率低 激活电路中活性低的值和事件 非常耗时 穷举法
侧信道分析 功耗分析 电磁辐射分析 时序信号分析
功耗分析 CLK=100M CLK=500K
时序信号分析 路径延迟信息
多维检测 功耗分析模型 电磁辐射分析模型
噪声分析 集成电路规模越来越大 木马在电路中所占比例越来越小 工艺参数起伏可能大大超过木马对旁路参数的影响 分析工具: 模拟仿真器的蒙特卡罗分析 数字仿真器及功耗分析工具 MATLAB中的分析函数 减小噪声的方法: 减小噪声来源 使用数据处理方法降低噪声的影响