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

龙图腾网获悉中国科学院软件研究所申请的专利一种基于探测集约减的掩码安全性验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116545612B 。

龙图腾网通过国家知识产权局官网在2025-06-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310467882.1，技术领域涉及：H04L9/06；该发明授权一种基于探测集约减的掩码安全性验证方法是由周锋;陈华;范丽敏;姚富;曹伟琼设计研发完成，并于2023-04-27向国家知识产权局提交的专利申请。

本一种基于探测集约减的掩码安全性验证方法在说明书摘要公布了：本发明公开了一种基于探测集约减的掩码安全性验证方法，其步骤为：1将给定掩码防护方案解析为有向无环图G，并计算图G中每个顶点n的辅助数据结构；2按字典序不重复地选取图G中的d个顶点组成的集合Nd，若仍有未被选取的组合则计算d阶探测集否则判定给定掩码方案通过安全性验证并退出；3根据变量的掩码情况将分为两两之间不共享掩码的若干子集；4当某一子集不服从独立均匀分布时，若其不可扩展，则输出Nd并退出，否则将扩展并进入步骤3；5当某一子集服从独立均匀分布时，从中删除子集并进入步骤3。采用本方法使用较少的内存和处理器资源高效地验证抗侧信道掩码防护方案的安全性。

本发明授权一种基于探测集约减的掩码安全性验证方法在权利要求书中公布了：1.一种基于探测集约减的掩码安全性验证方法，其步骤包括： 1对于给定包含若干门的硬件掩码方案，将其解析为有向无环图G； 2计算有向无环图G中每个顶点n的辅助数据结构，即支持集suppn、单路达掩码集合unqn、完美掩码集合perfn和探测集On； 3按字典序不重复地选取给定掩码方案对应的有向无环图G中的d个顶点组成的集合Nd＝{n1,…,nd}，计算d阶探测集并进行步骤4；若G中不存在未被选取的d个顶点的组合，则判定给定的掩码方案是安全的，该掩码方案通过安全性验证；表示Nd中的第j个顶点对应的探测集； 4若当前给定探测集为空集，则原d阶探测集是安全的，进入步骤3；将当前的探测集命名为并根据变量的掩码情况将变量分为两两之间不共享掩码的若干子集并计算各子集的完美掩码矩阵然后进行步骤5； 5从i＝1到i＝t，若第i个子集不服从均匀分布且可扩展，则将探测集扩展为探测集并进入步骤4对探测集进行操作；若不服从均匀分布且不可扩展，则判定给定的掩码方案可能存在安全性问题，输出可能存在泄漏的d阶顶点集合Nd，结束验证；若第i个子集服从均匀分布，则将子集从中删除得到 并进入步骤4对探测集进行操作。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院软件研究所，其通讯地址为：100190 北京市海淀区中关村南四街4号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。