Editor per modificare e controllare i protocolli specificati in SPI-calculus utilizzando ProVerif.
cronologia delle versioni
- Versione 0.2 pubblicato il 2010-01-08
Diverse correzioni e aggiornamenti - Versione 0.2 pubblicato il 2010-01-08
Dettagli del programma
- Categoria: Sicurezza & Privacy > Altro
- Editore: proverifeditor.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 0.2
- Piattaforma: windows