Edytor do edycji i sprawdzania protokołów określonych w SPI-calculus za pomocą ProVerif.
historia wersji
- Wersja 0.2 opublikowany na 2010-01-08
Kilka poprawek i aktualizacji - Wersja 0.2 opublikowany na 2010-01-08
Szczegóły programu
- Kategorii: Bezpieczeństwo & Prywatność > Innych
- Wydawca: proverifeditor.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 0.2
- Platformy: windows