![](/statics/img/blank.png)
ProVerif Editor 0.2
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/proverifeditor/files/ProVerif%20Editor/0.2/proverif_editor_0.2.tgz/download
O ProVerif Editor
Edytor do edycji i sprawdzania protokołów określonych w SPI-calculus za pomocą ProVerif.
Programy pokrewne
-
Child Computer Time Out Bezpłatna wersja próbna
Jeśli obawiasz się, że Twoje dziecko może spędzać zbyt dużo czasu online lub grać w gry - lub nie chcesz, aby używało komputera, gdy śpisz lub nie masz domu - tego typu oprogramowanie oferuje rozwiązanie. Pozwala to na ustawi
-
Cloud Online Backup Bezpłatna wersja próbna
Cloudonlinebackup to szybkie, łatwe i bezpieczne rozwiązanie do tworzenia kopii zapasowych online. Utrzymuje wszystkie transfery bezpieczne i zaszyfrowane, działa w tle i zapewnia, że utrata danych nie jest zagrożeniem. Poprz
-
Hackademic Challenges Wolna
Hackademic Challenges to projekt open source, który pomaga sprawdzić swoją wiedzę na temat bezpieczeństwa aplikacji internetowych. Można go używać do ataku na aplikacje internetowe w realistycznym, ale także kontrolowanym i b
-
Internet History Washer Bezpłatna wersja próbna
Łatwy sposób, aby wyczyścić Ślady Surfowania po InternecieNikt nigdy się nie dowie:- Jakie strony odwiedziłeś - Czego szukałeś - Twoje hasła - I zidentyfikować cię jako wielokrotnego gościaAby to zapewnić, progr
-
Fast Windows Hider Bezpłatna wersja próbna
Fast Windows Hider to narzędzie ochronne zaprojektowane, aby pomóc ukryć wszystkie okna (aplikacje) w jednej chwili. Wystarczy nacisnąć klawisz skrótu lub ikonę kliknięcia. Możesz ukryć Internet Explorer lub inną przeglądarkę
-
Openwall wordlists collection Bezpłatna wersja próbna
Obszerny zbiór list słów przeznaczonych do użycia z narzędziami do odzyskiwania hasła. W tej kolekcji znajdują się listy słów dla ponad 20 języków ludzkich i listy typowych haseł. Zawarte języki to: afrykańczycy, chorwacki, c
-
OneNote Password Recovery Bezpłatna wersja próbna
OneNote Password Recovery to program do odzyskiwania utraconych lub zapomnianych haseł do notesów programu Microsoft OneNote. Obsługiwane są hasła wielojęzyczne. Obsługiwane są wszystkie wersje programu Microsoft OneNote.
-
One Click Privacy Bezpłatna wersja próbna
One Click Privacy trwale usuwa całą aktywność w Internecie, buforowane hasła i informacje o karcie kredytowej, dzienniki wiadomości błyskawicznych, rekordy odtwarzacza multimedialnego, zapytania w wyszukiwarkach i korzystanie
-
RC4.NET Wolna
RC4.NET jest biblioteka, która dodaje obsługę szyfrowania/odszyfrowywania przy użyciu symetrycznego algorytmu RC4 w środowisku .NET. Biblioteka jest napisana w języku C# i działa równie dobrze na platformie Microsoft CLR i Mo
-
Secure File Encryption Program Wolna
Szyfrowanie plików Open Source, napisane, aby dowiedzieć się o kryptograpy, programowania, itp. I miejmy nadzieję, wymyślić kilka nowych technik szyfrowania, które mogą być korzystne dla społeczeństwa.