Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. PDA - The Protocol Derivation Assistant
  5. Download

PDA - The Protocol Derivation Assistant

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur PDA - The Protocol Derivation Assistant

Pda fournit un support d’outil pour l’approche dérivationnelle des protocoles de sécurité. Protocoles, modèles, propriétés de sécurité sont entrés via une interface utilisateur graphique. Pda prend en charge les améliorations des protocoles et de leurs modèles et les preuves de justesse incrémentielles.

Programmes connexes

  • KwikBASIC BASIC Interpreter Gratuit

    KwikBASIC est un interprète basic écrit dans FreeBASIC et suit de près la syntaxe FreeBASIC.

  • UniboStreamingProject Gratuit

    Il s’agit d’une application de streaming client-serveur qui supporte le streaming audio multidiffusion à l’aide de RTP / RTCP et à la demande audio-vidéo streaming en utilisant RTSP. Il soutient la politique d’équilibrage des

  • FluxWin Gratuit

    FluxWin est un port de FluxBox pour les plateformes Cygwin/XFree86. J’ai pris la source FluxBox et piraté les pièces qui ne seraient pas compiler sous Cygwin. La dernière version de travail est 0.0.1 basée sur Fluxbox 0.9.7.

  • ctInstaller Suite Gratuit

    Programme/créateur de configuration simple. Toutes les données d’installation sont stockées au fur et à mesure que les fichiers exe (peuvent être rouverts) Les fichiers/données sont compressés. Aucun fichiers temporaires pend

  • Remote Installer Starter Gratuit

    Cet outil d’audit logiciel pour les réseaux locaux permet de collecter des données sur les applications installées sur des PC distants. Les informations collectées sont stockées dans la base de données et peuvent être utilisé

  • chrootbin Gratuit

    Chrootbin est un outil qui vous aidera à faire de base un environnement chroot. Il vous permet de sauter les parties ennuyeuses de faire un chroot à partir de zéro. Il vous aide également à installer d’autres exécutables comm

  • NSClient for Nagios Gratuit

    Agent de surveillance NSClient pour les serveurs Windows pour une utilisation dans le cadre de surveillance Nagios.

  • sockthread Gratuit

    SockThread est une implémentation de prises multithreaded. Il est intégré avec un serveur d’écho pour les connexions telnet. Il est d’abord écrit avec des bibliothèques C/C++ natives standard. C++ classes std::thread et C soc

  • Like-C compiler Gratuit

    Le compilateur Like-C est une petite application facile à utiliser conçue pour être utile pour les utilisateurs qui veulent connaître le travail du compilateur, tels que l’analyse lexicale, l’analyse grammaticale, l’analyse s

  • Drupal Video Tutorial | Drupal Video Tut Gratuit

    Les didacticiels vidéo étape par étape révèlent des secrets de raccourci sur la façon de conquérir Drupal rapidement et facilement.http://www.drupaltutorials.org/index.php