Mermaid To Proverif
trailofbits/skills/plugins/trailmark/skills/mermaid-to-proverif作者 trailofbits82fe82262526无许可证7.4K 个星标收录于 2026年10月8日更新于 2026年10月8日仓库昨天更新
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.
仅公开文件列表。将技能安装到工作区后即可查看文件内容。
| 路径 | 大小 | 类型 |
|---|---|---|
| agents/openai.yaml | 249 B | application/yaml |
| assets/trail-of-bits-mark.svg | 3 KB | text/plain |
| examples/simple-handshake/diagram.md | 1.8 KB | text/markdown |
| examples/simple-handshake/sample-output.pv | 9.3 KB | text/plain |
| references/crypto-to-proverif-mapping.md | 10.1 KB | text/markdown |
| references/proverif-syntax.md | 13.8 KB | text/markdown |
| references/security-properties.md | 11.6 KB | text/markdown |
| SKILL.md | 17.9 KB | text/markdown |
来源与署名
来源：trailofbits/skills位于plugins/trailmark/skills/mermaid-to-proverif提交82fe822
许可证： 无许可证
内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。
更多来自 trailofbits/skills 的技能
Vector Forge
trailofbits
通过变异测试实现来发现未覆盖代码路径，从而生成密码学测试向量。
Wycheproof
trailofbits
指导使用 Project Wycheproof 测试向量验证密码学实现，覆盖已知攻击与边界情况。
Ruzzy
trailofbits
指导安装和使用 Ruzzy——Trail of Bits 面向 Ruby 代码与 C 扩展的覆盖率引导模糊测试器。
Ossfuzz
trailofbits
指导将开源项目接入 OSS-Fuzz，并通过 helper.py 在本地运行模糊测试 harness。
Libfuzzer
trailofbits
指导在 C/C++ 代码上搭建并运行 libFuzzer，涵盖测试框架、构建、语料库、sanitizer 与问题分类。
Trailmark
trailofbits
构建并查询多语言源码与二进制代码图，用于安全分析和审计优先级排序。
更多Security技能
Kyc Rules
anthropics
将公司的 KYC/AML 规则表应用于已解析的开户记录，评定风险并给出处理路由。
Compliance Tracking
anthropics
跟踪合规要求、审计准备情况以及 SOC 2、ISO 27001、GDPR、HIPAA 和 PCI DSS 等框架的证据。
Dpop Adoption
指导为 Google OAuth 平台实现 OAuth 2.0 DPoP（RFC 9449）发送方约束刷新令牌。
Secops Triage
指导 SOC 分析师对 Google SecOps 安全告警进行分诊，从调查到关闭或升级。
Secops Investigate
指导 SOC 分析师在 Google SecOps 中使用 UDM 查询和时间线进行深入的安全事件与实体调查。
Secops Hunt
指导在 Google SecOps 中使用 UDM 查询、IoC 回溯、普遍性与异常分析进行主动威胁狩猎。