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

龙图腾网获悉浙江大学申请的专利一种集成电路加密电路状态机的破解方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115879172B 。

龙图腾网通过国家知识产权局官网在2025-10-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211480339.7，技术领域涉及：G06F21/72；该发明授权一种集成电路加密电路状态机的破解方法是由金琳莉;黄凯;王轲;蒋小文;刘智力设计研发完成，并于2022-11-24向国家知识产权局提交的专利申请。

本一种集成电路加密电路状态机的破解方法在说明书摘要公布了：本发明属于集成电路技术领域，公开了一种集成电路加密电路状态机的破解方法，包括步骤1：对网表施加激励，提取信息；步骤2：将求解密钥的过程视为状态机重构的过程，并将此问题转化为约束编程问题；步骤3：若CP‑SATsolver解得的key的数量为1，攻击结束，得到唯一正确key，否则用SynopsysVCFormalSEQApplication进行时序等价性检查，并结合Oracles进一步排除错误的key，直到得到唯一正确的key或多个等价的key。本发明攻击时长主要取决于状态机的规模及其内部固有的跳转关系，攻击时间短，效率高。

本发明授权一种集成电路加密电路状态机的破解方法在权利要求书中公布了：1.一种集成电路加密电路状态机的破解方法，其特征在于，包括如下步骤： 步骤1：对网表施加激励，提取信息； 步骤2：将求解密钥的过程视为状态机重构的过程，并将此问题转化为约束编程问题，通过将得到的加密状态机转化为矩阵，并将其在状态机上的结构特性转化为约束，迭代调用求解工具CP-SATsolver，得所有潜在正确的key； 步骤2.1：创建变量表示每个状态是否可达，是否属于D组或T组，是否为入口状态，创建变量表示潜在正确的key，采用五个布尔型变量：U，D，T，E，K，其中U代表不可达，D和T代表D组状态和T组状态，E代表入口状态，K代表潜在正确的key； 步骤2.2：根据线索加入约束； 所述步骤2.2的线索包括： 1根据配置信号的复位值确定状态机复位状态属于D组或T组，若复位值为0，则属于D组，否则属于T组； 2入口状态接收和自己不属于同一组的传入； 3每个状态仅接收一种类型的传入，但传出可以到同组的状态或是另一组的入口状态； 4异步复位下，复位状态不为入口； 5可达状态中只有入口状态的编码属于on-set，入口状态间的汉明距离在2和2*h之间； 6入口状态的数量大于h-1提供的on-set编码数量，不大于h提供的on-set编码数量； 7不可达状态的数量大于剩余的on-set编码的数量，且次态都为真实状态； 8在D型配置下，不可达状态和接收T型传入的可达状态都可能不可达，它们一旦可达，传入一定不来自D组状态，只有T组状态会传出到不可达状态； 9在T型配置下，不可达状态和接收D型传入的可达状态都可能不可达，它们一旦可达，传入一定不来自T组状态，T组状态不会传出到不可达状态； 10根据状态属性分配重建状态机后，除了复位状态，所有的D组和T组状态都可达，其他状态都不可达，且存在由此推出的key； 步骤3：若CP-SATsolver解得的key的数量为1，攻击结束，得到唯一正确key，否则用SynopsysVCFormalSEQApplication进行时序等价性检查，并结合Oracles进一步排除错误的key，直到得到唯一正确的key或多个等价的key。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310013 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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