Mermaid 转 ProVerif

把描述密码协议的 Mermaid 时序图翻译成 ProVerif 形式化验证模型（.pv 文件）。用于生成 ProVerif 模型、正式验证协议、把 Mermaid 图转 ProVerif、验证协议安全属性（保密性、认证、前向保密）、查重放攻击，或从时序图产出 .pv 文件。"