Invia software
  1. Casa
  2. Windows
  3. Altro
  4. PDA - The Protocol Derivation Assistant
  5. Download

PDA - The Protocol Derivation Assistant

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa PDA - The Protocol Derivation Assistant

Pda fornisce supporto agli strumenti per l'approccio derivazionale dei protocolli di sicurezza. Protocolli, modelli, proprietà di sicurezza vengono immessi tramite un'interfaccia utente grafica. Pda supporta il perfezionamento dei protocolli e dei loro modelli e le prove di correttezza incrementale.

Programmi correlati

  • KwikBASIC BASIC Interpreter Gratuito

    KwikBASIC è un interprete BASIC scritto in FreeBASIC e segue da vicino la sintassi FreeBASIC.

  • UniboStreamingProject Gratuito

    Si tratta di un'applicazione di streaming client-server che supporta lo streaming audio multicast utilizzando RTP / RTCP e lo streaming audio-video su richiesta utilizzando RTSP. Supporta i criteri di bilanciamento del carico

  • FluxWin Gratuito

    FluxWin è una porta fluxbox per piattaforme Cygwin/XFree86. Ho preso la fonte FluxBox e hackerato le parti che non si sarebbero compilate sotto Cygwin. L'ultima versione funzionante è 0.0.1 basata su Fluxbox 0.9.7.

  • ctInstaller Suite Gratuito

    Semplice programma di configurazione/ creatore. Tutti i dati di installazione vengono archiviati come file exe (può essere riaperto) I file/dati vengono compressi. Nessun file temporaneo durante l'installazione Componenti e l

  • Remote Installer Starter Gratuito

    Questo strumento di controllo software per le reti locali consente di raccogliere dati su applicazioni installate su PC remoti. Le informazioni raccolte vengono memorizzate nel database e possono essere utilizzate per generar

  • chrootbin Gratuito

    Chrootbin è uno strumento che ti aiuterà a rendere di base un ambiente chroot. Ti consente di saltare le parti noiose di fare una chroot da zero. Ti aiuta anche a installare qualsiasi altro eseguibile come strace o find.

  • NSClient for Nagios Gratuito

    Agente di monitoraggio NSClient per server Windows da utilizzare nel framework di monitoraggio Nagios.

  • sockthread Gratuito

    SockThread è un'implementazione di socket multithread. È integrato con un server echo per le connessioni telnet. È inizialmente scritto con librerie C/C++ native standard. Sono state utilizzate classi C++ std::thread e API so

  • Like-C compiler Gratuito

    Il compilatore Like-C è un'applicazione piccola e facile da usare progettata per essere utile per gli utenti che vogliono conoscere il lavoro del compilatore, come l'analisi lessicale, l'analisi grammaticale, l'analisi semant

  • Drupal Video Tutorial | Drupal Video Tut Gratuito

    Esercitazioni video dettagliate rivelano segreti di scorciatoia su come conquistare Drupal in modo rapido e semplice.http://www.drupaltutorials.org/index.php