mermaid-to-proverif · AI Skill 用途与安装 · iSkills.cc
形式化验证密码协议安全。
分类：安全合规
来源仓库：trailofbits/skills
适合用来做什么
- 请将描述密码协议的 Mermaid 序列图转换为 ProVerif 模型。
- 如何使用 ProVerif 验证密码协议的安全属性？
不适合的情况
- 不适合与“安全合规”无关的任务。
安装 mermaid-to-proverif
npx skills add https://www.iskills.cc/skills/trailofbits/skills/mermaid-to-proverif/SKILL.md在本机终端执行安装命令。安装前请阅读原始说明，确认所需工具、账号和权限。