买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉西北工业大学申请的专利一种属性驱动的持续性故障分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116962025B 。

龙图腾网通过国家知识产权局官网在2026-04-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310801320.6，技术领域涉及：H04L9/40；该发明授权一种属性驱动的持续性故障分析方法是由胡伟;王省欣;武玲娟;李倍倍;李一玮设计研发完成，并于2023-07-03向国家知识产权局提交的专利申请。

本一种属性驱动的持续性故障分析方法在说明书摘要公布了：本发明公开了一种属性驱动的持续性故障分析方法，首先建立基本逻辑单元形式化故障模型库和密码算法核的形式化故障模型；然后对密码算法核形式化故障模型进行随机仿真；再自动提取故障信息满足的故障属性；接下来对密码算法进行持续性故障注入攻击；最后利用故障属性作为约束实现对密码算法的持续性故障分析。本发明建立故障传播模型不需要复杂的数学运算，对故障注入的位置与数量无严格要求，降低了故障密文使用的数量和密钥搜索复杂度，与现有的故障注入分析技术相比，本发明方法适用范围更广。

本发明授权一种属性驱动的持续性故障分析方法在权利要求书中公布了：1.一种属性驱动的持续性故障分析方法，其特征在于，包括如下步骤： 步骤1：建立基本逻辑单元形式化故障模型库； 故障模型通过为每一个逻辑单元添加标签来表示故障状态，当信号的故障标签为‘1’时，说明该信号发生故障；通过分析故障标签在电路中的传播构建故障模型，当且仅当输入数据对输出数据的值存在影响时，输入信号对应的故障标签才能传播到输出信号的故障标签中； 设A、B为输入信号，O为输出信号，Ae为信号A的故障标签，Be为信号B的故障标签；则二输入或门故障模型的逻辑表达式为；二输入与门故障模型的逻辑表达式为；非门故障模型的逻辑表达式为；从而形成基本逻辑单元形式化故障模型库； 步骤2：建立密码算法核的形式化故障模型； 密码算法硬件实现经过逻辑综合能够映射到门级网表或基本逻辑单元，通过将密码算法硬件设计中对应的基本逻辑单元映射到步骤1中构建的基本逻辑单元形式化故障模型库，生成密码算法核的形式化故障模型； 步骤3：对密码算法核的形式化故障模型进行随机仿真； 对步骤2中建立的密码算法核形式化故障模型进行随机仿真；随机数发生器生成随机明文用于给故障模型不同的激励，利用仿真工具对故障模型进行仿真，仿真结果故障标签中非零字节即为故障信息，将故障密文中按照初始故障字节位置和数量进行分类整理； 步骤4：自动提取故障信息满足的故障属性； 基于步骤3获取的故障信息进行属性提取； 根据不同类别的故障信息分布获得故障位置属性，使用逻辑化简工具提取出故障信息之间满足的布尔表达式作为故障相关属性；使用形式化工具进行验证，若验证通过则说明属性正确，否则属性为假阳性，即不是所有故障图样均满足该属性，需要利用步骤3增加故障信息数量，重新提取故障相关属性； 步骤5：对密码算法进行持续性故障注入攻击； 对密码算法进行持续性故障注入攻击，通过在S-box表中注入持续性故障，使得S-box表中某个S-box值发生变化； 步骤6：利用故障属性作为约束实现对密码算法的持续性故障分析； 利用步骤4中提取的故障属性对步骤5的攻击结果进行故障分析；由持续性故障特点，初始发生的所有故障信息相同，根据密文中故障信息的分布特点，与位置属性匹配，锁定故障发生位置，根据故障的一致性获得轮密钥差分； 故障分析分为已知持续性故障注入的位置和未知持续性故障注入的位置两种情况； 如果已知持续性故障注入的位置，即S-box表中故障的位置，通过属性匹配获得密码算法在迭代过程中故障发生的位置后，将此条件作为已知条件结合正确密文即能确定唯一的密钥字节； 当持续性故障的注入位置未知时，需要猜测在S-box表中持续性故障注入的位置i，对应的S-box值为Si，如若S-box值是以字节为单位，那么位置搜索空间即为28；由加密算法知道密钥信息与Si密切相关，搜索使得正误密文对中故障信息满足属性约束的密钥字节作为候选值，若候选值不唯一，则增加分析的正误密文对数量，直至候选值唯一。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西北工业大学，其通讯地址为：710072 陕西省西安市友谊西路127号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。