mermaid-to-proverif

将描述密码协议的 Mermaid 序列图转换为 ProVerif 形式化验证模型（.pv 文件）。适用于生成 ProVerif 模型、对协议进行形式化验证、将 Mermaid 图转换为 ProVerif、验证协议安全属性（保密性、认证性、前向保密性）、检查重放攻击，或从序列图生成 .pv 文件。

模型生成摘要（rules/v1 · 2026-11-03 14:45）：将描述密码协议的 Mermaid 序列图转换为 ProVerif 形式化验证模型（
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-09-28 14:26	d79713a9	已过保留期
v2	2026-11-03 14:44	7335c641	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。