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

龙图腾网恭喜中国人民解放军国防科技大学申请的专利基于约束求解的递归协议安全性验证方法、装置及设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119276762B 。

龙图腾网通过国家知识产权局官网在2025-03-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411796181.3，技术领域涉及：H04L43/18；该发明授权基于约束求解的递归协议安全性验证方法、装置及设备是由毕兴;张琛;王鹏;焦鹏;张琪;杜振国;胡杰设计研发完成，并于2024-12-09向国家知识产权局提交的专利申请。

本基于约束求解的递归协议安全性验证方法、装置及设备在说明书摘要公布了：本申请涉及一种基于约束求解的递归协议安全性验证方法、装置及设备。所述方法包括：获取递归协议的已知信息；建立敌手推导规则，根据敌手推导规则对已知消息进行推导，得到新消息；将敌手在递归协议执行的某个阶段构造的新消息符号化为变量，将安全协议无穷多条可能执行迹抽象为一组推导约束，敌手通过初始知识与协议交互中的推导约束构造约束系统；根据预先设置的简化规则对约束系统进行简化，得到简单约束系统；将要验证的安全属性建模为一阶公式，通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证。采用本方法能够对递归协议实现安全性验证。

本发明授权基于约束求解的递归协议安全性验证方法、装置及设备在权利要求书中公布了：1.一种基于约束求解的递归协议安全性验证方法，其特征在于，所述方法包括：获取递归协议的已知信息；建立敌手推导规则，根据敌手推导规则对所述递归协议的已知消息进行推导，得到新消息；将敌手在递归协议执行的某个阶段构造的新消息符号化为变量，将安全协议无穷多条可能执行迹抽象为一组推导约束，敌手通过初始知识与协议交互中的推导约束构造约束系统；根据预先设置的简化规则对所述约束系统进行简化，得到简单约束系统；将要验证的安全属性建模为一阶公式，通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证；所述建立敌手推导规则包括第一规则、第二规则、第三规则、第四规则、第五规则和第六规则；所述敌手推导规则表示了敌手由已知消息推导出新消息的能力，第一规则是公理，第二规则、第三规则、第五规则是合成规则，第四规则、第六规则是分解规则；所述合成规则描述了敌手可以通过多种方式合成消息；所述多种方式包括配对、加密以及获取密钥后对消息签名；所述分解规则描述了敌手能在有解密密钥的情况下推出或分解消息。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区德雅路109号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。