Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. PDA - The Protocol Derivation Assistant

PDA - The Protocol Derivation Assistant

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

Pda zapewnia obsługę narzędzi dla pochodnego podejścia protokołów bezpieczeństwa. Protokoły, modele, właściwości zabezpieczeń są wprowadzane za pośrednictwem graficznego interfejsu użytkownika. Pda obsługuje udoskonalenia protokołów i ich modeli oraz przyrostowe dowody poprawności.

historia wersji

  • Wersja N/A opublikowany na 2011-08-09
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-08-09

Szczegóły programu

Programy pokrewne

  • KwikBASIC BASIC Interpreter Wolna

    KwikBASIC jest podstawowym tłumaczem napisanym w FreeBASIC i ściśle śledzi składnię FreeBASIC.

  • UniboStreamingProject Wolna

    Jest to aplikacja do przesyłania strumieniowego serwera klienta, która obsługuje przesyłanie strumieniowe dźwięku multiemisyjne za pomocą rtp / RTCP i strumieniowania audio-wideo na żądanie za pomocą RTSP. Wspiera politykę ró

  • FluxWin Wolna

    FluxWin to port FluxBox dla platform Cygwin/XFree86. Wziąłem źródło FluxBox i posiekany od części, które nie skompilować pod Cygwin. Najnowsza wersja robocza to 0.0.1 oparta na Fluxbox 0.9.7.

  • ctInstaller Suite Wolna

    Prosty program instalacyjny / twórca. Wszystkie dane instalacyjne są przechowywane jako pliki exe (mogą być ponownie otwarte) Pliki / Dane są kompresowane. Żadne pliki tymczasowe podczas instalacji Składniki i operacje konfig

  • Remote Installer Starter Wolna

    To narzędzie do audytu oprogramowania dla sieci lokalnych umożliwia zbieranie danych o aplikacjach zainstalowanych na komputerach zdalnych. Zebrane informacje są przechowywane w bazie danych i mogą być używane do generowania

  • chrootbin Wolna

    Chrootbin jest narzędziem, które pomoże Ci w podstawowym środowisku chroot. To pozwala pominąć nudne części podejmowania chroot od podstaw. Pomaga również zainstalować inne pliki wykonywalne, takie jak strace lub find.

  • NSClient for Nagios Wolna

    Agent monitorowania NSClient dla serwerów systemu Windows do użytku w ramach monitorowania Nagios.

  • sockthread Wolna

    SockThread jest implementacją gniazd wielowątkowych. Jest wbudowany z serwerem echo dla połączeń telnet. Jest początkowo napisany ze standardowymi macierzystymi bibliotekami C/C++. Użyto klas C++: thread i C socket API <sy

  • Like-C compiler Wolna

    Kompilator like-C to mała, łatwa w użyciu aplikacja zaprojektowana tak, aby była przydatna dla użytkowników, którzy chcą poznać pracę kompilatora, takich jak analiza leksykalna, analiza gramatyczna, analiza semantyczna i wyko

  • Drupal Video Tutorial | Drupal Video Tut Wolna

    Krok po kroku samouczki wideo ujawniają tajemnice skrótów, jak szybko i łatwo podbić Drupala.http://www.drupaltutorials.org/index.php