mermaid-to-proverif
نگهدارنده trailofbits
تبدیل Mermaid sequenceDiagram به مدل ProVerif
- نسخه فعلی
- نامشخص
- مجوز
- نامشخص
- دسترسی شبکه
- نامشخص / ارزیابینشده
- وضعیت بررسی
- تأیید نشده
چه مسئلهای را حل میکند؟
مدل ProVerif را از sequenceDiagram Mermaid برای بررسی صوری امنیت protocol تولید میکند.
چه زمانی مناسب است؟
برای تبدیل Mermaid sequenceDiagram به ProVerif یا بررسی secrecy، authentication، forward secrecy و replay attack استفاده کنید.
Mermaid sequenceDiagramهای توصیفکنندهٔ protocolهای cryptographic را به مدل formal verification در ProVerif (فایلهای .pv) تبدیل میکند. برای تولید مدل ProVerif، formal verification یک protocol، تبدیل Mermaid diagram به ProVerif، بررسی security propertyهای protocol مانند secrecy، authentication و forward secrecy، بررسی replay attack یا ساخت فایل .pv از sequence diagram استفاده کنید.
نصب و بهروزرسانی
این دستورها فقط برای کپی نمایش داده میشوند و روی سرور RefHub اجرا نمیشوند. پیش از اجرا، منبع بالادستی پیوندشده را بررسی کنید.
دستور نصب
npx skills add trailofbits/skills --skill mermaid-to-proverif -yسازگاری با ایجنتها
هنوز تست سازگاری ثبت نشده است
تا وقتی شواهد تست ثبت نشده، سازگاری این مهارت با ایجنتها را تأییدشده فرض نکنید.