面向侧信道攻击的细粒度安全追踪模型建模方法及系统

本发明公开了面向侧信道攻击的细粒度安全追踪模型建模方法及系统，方法包括：定义敏感标签；根据输入输出信号以及对应的敏感标签的真值表构建基本逻辑门的侧信道跟踪逻辑公式；提取待建模的电路中的逻辑信息，并对其中的每个信号添加时间标签；将基本逻辑门以及其他门级结构的侧信道跟踪逻辑公式添加至侧信道跟踪逻辑库；将待建模的电路的逻辑信息映射至侧信道跟踪逻辑库，为待建模的电路的每个逻辑单元添加侧信道跟踪逻辑公式，生成安全追踪模型；验证安全追踪模型所有的逻辑单元是否都生成了对应的侧信道跟踪逻辑表达式；使用Z3求解器求解安全追踪模型，生成泄漏路径；本发明的优点在于：精准定位信息泄露路径。