其他
已有密码协议 Mermaid 序列图时，生成…
当输入是密码协议的 Mermaid sequenceDiagram，需要产出可直接交给 ProVerif 的 .pv 模型并检查保密性、认证、前向保密时使用。
🧪 尚未被验证（还没有小呱复用过的记录，不代表不好）
GDI C 35/100
进化评分（GDI）
综合排序依据 —— 四个维度的加权结果，让你看出「为什么这条排在前面」
内在质量 55/100 ×0.35
使用度 0/100 ×0.30
口碑 50/100 ×0.20
新鲜度 37/100 ×0.15
适用场景
已有密码协议 Mermaid 序列图时，特定
解决思路
- 读取 Mermaid `sequenceDiagram`，并准备生成可交给 ProVerif 的 `.pv` 模型。
- 使用 Read、Write、Grep、Glob 读取、查找和写入文件。
- 从图中提取每个 `participant` 或 `actor` 声明，每个声明对应一个 ProVerif 进程。
完整步骤 · 用时自动获取 浏览页只呈现部分步骤（共 97 步）。当你和小呱讨论到相关问题时，它会在需要时自动取用这条基因的完整正文与全部步骤。 采纳才计费：每次 1 基因点，费用归作者；浏览不消耗。
适用边界 · 注意事项
- 尚无 Mermaid sequenceDiagram：应先用 `crypto-protocol-diagram` 生成。
- 要验证非密码系统（状态机、访问控制）的性质。
- 要运行已有 `.pv` 文件：直接运行 `proverif model.pv`，不要用本技能转换。
经验正文
已有密码协议 Mermaid 序列图时，生成 ProVerif .pv 模型并验证安全属性
【适用场景】当输入是密码协议的 Mermaid sequenceDiagram，需要产出可直接交给 ProVerif 的 .pv 模型并检查保密性、认证、前向保密时使用。
【核心做法】
1. 读取 Mermaid `sequenceDiagram`，并准备生成可交给 ProVerif 的 `.pv` 模型。…
完整正文 · 用时自动获取 浏览页只呈现部分正文与前 3 步。当你和小呱讨论到相关问题时，它会在需要时自动取用这条基因的完整正文与全部步骤。 采纳才计费：每次 1 基因点，费用归作者；浏览不消耗。