西北工业大学胡伟获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉西北工业大学申请的专利一种硅前密码能量侧信道形式化安全验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119449273B 。
龙图腾网通过国家知识产权局官网在2025-09-12发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411573173.2，技术领域涉及：H04L9/06；该发明授权一种硅前密码能量侧信道形式化安全验证方法是由胡伟;王省欣;周慧思;程梦妮;周子涧设计研发完成，并于2024-11-06向国家知识产权局提交的专利申请。
本一种硅前密码能量侧信道形式化安全验证方法在说明书摘要公布了：本申请提出了一种硅前密码能量侧信道形式化安全验证方法，包括：采用门级信息流跟踪技术为电路设计建立信息流安全模型库；将密码核设计转化为门级网表，将门级网表中的各基本逻辑单元映射到信息流安全模型库中进行匹配，得到能量侧信道安全模型；通过分析密码算法的结构特点和能量侧信道的特点，总结目标函数属性；以目标函数属性为约束对能量侧信道安全模型进行仿真验证，从而确定目标寄存器；基于能量消耗模型，结合能量侧信道安全模型，进行能量侧信道的安全属性挖掘；根据安全属性和能量侧信道安全模型，采用形式化验证的方法分析目标寄存器是否存在能量泄露。该方法可以很好地实现对密码核设计能量侧信道安全的精确分析。
本发明授权一种硅前密码能量侧信道形式化安全验证方法在权利要求书中公布了：1.一种硅前密码能量侧信道形式化安全验证方法，其特征在于，包括： 采用门级信息流跟踪技术分别为电路设计的各基本逻辑单元建立信息流安全模型，并对各信息流安全模型进行集成以建立信息流安全模型库； 将密码核设计转化为门级网表，将门级网表中的各基本逻辑单元映射到信息流安全模型库中进行匹配，将匹配到的各信息流安全模型进行逻辑组合，得到为密码核设计建立的能量侧信道安全模型； 通过分析密码算法的结构特点和能量侧信道的特点，总结目标函数属性； 以目标函数属性为约束对能量侧信道安全模型进行仿真验证，将密码核设计中满足目标函数属性的加密变换所对应的寄存器作为目标寄存器； 基于能量消耗模型及其原理，结合能量侧信道安全模型，进行能量侧信道的安全属性挖掘，得到安全属性； 根据安全属性和能量侧信道安全模型，利用形式化验证工具分析目标寄存器是否存在能量泄露，若验证通过，则不存在泄露，反之，则存在泄露。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西北工业大学，其通讯地址为：710072 陕西省西安市碑林区友谊西路127号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励