一种硅前密码能量侧信道形式化安全验证方法

本申请提出了一种硅前密码能量侧信道形式化安全验证方法，包括：采用门级信息流跟踪技术为电路设计建立信息流安全模型库；将密码核设计转化为门级网表，将门级网表中的各基本逻辑单元映射到信息流安全模型库中进行匹配，得到能量侧信道安全模型；通过分析密码算法的结构特点和能量侧信道的特点，总结目标函数属性；以目标函数属性为约束对能量侧信道安全模型进行仿真验证，从而确定目标寄存器；基于能量消耗模型，结合能量侧信道安全模型，进行能量侧信道的安全属性挖掘；根据安全属性和能量侧信道安全模型，采用形式化验证的方法分析目标寄存器是否存在能量泄露。该方法可以很好地实现对密码核设计能量侧信道安全的精确分析。