Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. PDA - The Protocol Derivation Assistant
  5. Download

PDA - The Protocol Derivation Assistant

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen

Over PDA - The Protocol Derivation Assistant

Pda biedt toolondersteuning voor de afleidingsaanpak van beveiligingsprotocollen. Protocollen, modellen, beveiligingseigenschappen worden ingevoerd via een grafische gebruikersinterface. Pda ondersteunt verfijningen van protocollen en hun modellen en incrementele correctheidsbewijzen.

Gerelateerde programma's

  • KwikBASIC BASIC Interpreter Gratis

    KwikBASIC is een BASIC tolk geschreven in FreeBASIC en volgt de FreeBASIC syntaxis op de voet.

  • UniboStreamingProject Gratis

    Dit is een Client-Server Streaming applicatie die multicast audio streaming ondersteunt met RTP / RTCP en on-demand audio-video streaming met RTSP. Het ondersteunt load-balancing en disaster recovery beleid

  • FluxWin Gratis

    FluxWin is een port van FluxBox voor Cygwin/XFree86 platforms. Ik heb de FluxBox bron en gehackt weg de onderdelen die niet zou compileren onder Cygwin. De nieuwste werkende versie is 0.0.1 op basis van Fluxbox 0.9.7.

  • ctInstaller Suite Gratis

    Eenvoudige installatie programma / maker. Alle installatiegegevens worden opgeslagen als exe-bestanden (kunnen opnieuw worden geopend) Bestanden/gegevens worden gecomprimeerd. Geen tijdelijke bestanden tijdens de installatie

  • Remote Installer Starter Gratis

    Met deze softwarecontroletool voor lokale netwerken kunnen gegevens worden verzameld over toepassingen die op externe pc's zijn geïnstalleerd. De verzamelde informatie wordt opgeslagen in de database en kan worden gebruikt om

  • chrootbin Gratis

    Chrootbin is een hulpmiddel dat u zal helpen om basic een chroot omgeving. Het laat je overslaan de saaie delen van het maken van een chroot vanaf nul. Het helpt u ook om andere uitvoerbare producten zoals strace of vinden te

  • NSClient for Nagios Gratis

    NSClient monitoring agent voor Windows servers voor gebruik in het Nagios monitoring framework.

  • sockthread Gratis

    SockThread is een implementatie van multithreaded sockets. Het is ingebouwd met een echo-server voor telnet-verbindingen. Het is in eerste instantie geschreven met standaard native C / C + + bibliotheken. C++ klassen std::thr

  • Like-C compiler Gratis

    Like-C compiler is een kleine, gebruiksvriendelijke applicatie die is ontworpen om nuttig te zijn voor de gebruikers die het werk van de compiler willen kennen, zoals lexicale analyse, grammaticale analyse, semantische analys

  • Drupal Video Tutorial | Drupal Video Tut Gratis

    Stap-voor-stap Video tutorials onthullen snelkoppeling geheimen over hoe drupal snel en gemakkelijk te veroveren.http://www.drupaltutorials.org/index.php