描述
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif…
安全与治理 / 审核评估
mermaid-to-proverif
mermaid-to-proverif
安装量 994GitHub Stars 5,230更新时间 2026年5月16日
安全审计
使用前的风险提示
规则审计
未审计更新 1年1月1日
智能审计
未审计更新 1年1月1日
authmermaidproveriftranslatessequencediagramsdescribingcryptographicprotocolsformalverificationmodelsfiles