浙江大学王竟亦获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉浙江大学申请的专利大语言模型辅助的安全协议符号模型生成方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119917068B 。
龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411975582.5，技术领域涉及：G06F8/10；该发明授权大语言模型辅助的安全协议符号模型生成方法及装置是由王竟亦;毛梓宇;王东霞;王文海设计研发完成，并于2024-12-30向国家知识产权局提交的专利申请。
本大语言模型辅助的安全协议符号模型生成方法及装置在说明书摘要公布了：本发明涉及一种大语言模型辅助的安全协议符号模型生成方法及装置，该方法包括以下步骤：通过语义解析器将自然语言文档解析成以领域特定语言表征的解析结果，并将所述解析结果作为中间表示，其中，所述语义解析器基于大型语言模型驱动的组合范畴语法构建；通过静态分析和允许用户交互，修复所述中间表示中存在的问题，以在形式上规范化所述中间表示；通过转换器将在形式上规范化的所述中间表示转换为Sapic+规范；通过编译器将规范化的Sapic+进程语言编译为由验证工具直接接受的符号模型；证明不同模型之间变换正确性。本发明提出能够从自然语言描述中提取协议符号模型的方法，能基于该方法实现了一个用户使用友好的合成工具。
本发明授权大语言模型辅助的安全协议符号模型生成方法及装置在权利要求书中公布了：1.大语言模型辅助的安全协议符号模型生成方法，其特征在于，包括以下步骤： 通过语义解析器将基于安全协议的自然语言文档解析成以领域特定语言表征的解析结果，并将所述解析结果作为中间表示，其中，所述语义解析器基于大型语言模型驱动的组合范畴语法构建； 通过静态分析和允许用户交互，修复所述中间表示中存在的问题，以在形式上规范化所述中间表示； 通过转换器将在形式上规范化的所述中间表示转换为名为Sapic+的通用进程规范，这种规范能同时使用多种工具进行验证，能联合不同验证工具的优点； 通过编译器将规范化的Sapic+进程语言编译为由验证工具TamarinProver、DeepSec和ProVerif直接接受的符号模型； 证明不同模型之间变换正确性。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励