Mermaid a ProVerif
Convierte diagramas de secuencia Mermaid de protocolos criptograficos en modelos de verificacion formal ProVerif (.pv), listos para probar propiedades de seguridad como secreto, autenticacion y forward secrecy.
Incluida en el Pase · para Claude Code
// qué_hace
Genera modelos ProVerif (.pv) a partir de diagramas Mermaid de protocolos criptograficos.
// cómo_lo_hace
Traduce participantes, mensajes y operaciones criptograficas del diagrama en declaraciones de tipos, funciones, procesos y queries de seguridad en sintaxis ProVerif.
// ejemplo_de_uso
Úsala cuando necesitas verificar formalmente la seguridad de un protocolo criptográfico que has diseñado. Ej.: conviertes el diagrama Mermaid de tu flujo de autenticación en un modelo ProVerif y compruebas que no hay ataques de replay.
// plataformas
// opiniones_de_la_comunidad
Opiniones
Cargando opiniones…