北京
分享至
国家知识产权局信息显示，中国科学技术大学;国网福建省电力有限公司信息通信分公司申请一项名为“一种用于安全协议形式化验证的验证策略优化方法及系统”的专利，公开号CN122053177A，申请日期为2026年2月。
专利摘要显示，本申请公开了一种用于安全协议形式化验证的验证策略优化方法及系统，通过获取待验证安全协议模型及安全属性；在验证搜索树中维护待探索验证路径；基于验证状态由强化学习决策模型确定目标验证路径及下一步验证动作；将目标验证路径、探索深度参数及下一步验证动作输入形式化验证后端，执行深度受限路径探索并输出探索中间信息与探索结果；据此更新验证搜索树并判断终止条件；未终止时基于探索中间信息执行循环检测，检测到循环则对导致循环的动作生成负奖励标记并剪枝该路径，未检测到循环则生成经验样本并更新强化学习决策模型。本方案在受控深度下减少过早剪枝造成的路径遗漏，降低假阳性误报与无法证明情形，并保持验证可终止性。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
