Un editor para editar y comprobar los protocolos especificados en SPI-calculus mediante ProVerif.
historial de versiones
- Versión 0.2 publicado en 2010-01-08
Varias correcciones y actualizaciones - Versión 0.2 publicado en 2010-01-08
Detalles del programa
- Categoría: Seguridad & Privacidad > Otro
- Editor: proverifeditor.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 0.2
- Plataforma: windows