大语言模型辅助的安全协议符号模型生成方法及装置

本发明涉及一种大语言模型辅助的安全协议符号模型生成方法及装置，该方法包括以下步骤：通过语义解析器将自然语言文档解析成以领域特定语言表征的解析结果，并将所述解析结果作为中间表示，其中，所述语义解析器基于大型语言模型驱动的组合范畴语法构建；通过静态分析和允许用户交互，修复所述中间表示中存在的问题，以在形式上规范化所述中间表示；通过转换器将在形式上规范化的所述中间表示转换为Sapic+规范；通过编译器将规范化的Sapic+进程语言编译为由验证工具直接接受的符号模型；证明不同模型之间变换正确性。本发明提出能够从自然语言描述中提取协议符号模型的方法，能基于该方法实现了一个用户使用友好的合成工具。