Submit Software
  1. Home
  2. Windows
  3. Other
  4. PDA - The Protocol Derivation Assistant

PDA - The Protocol Derivation Assistant

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

Pda provides tool support for the derivational approach of security protocols. Protocols, models, security properties are entered via a graphical user interface. Pda supports refinements of protocols and their models and incremental correctness proofs.

VERSION HISTORY

  • Version N/A posted on 2011-08-09
    Several fixes and updates
  • Version N/A posted on 2011-08-09

Program Details

Related Programs

  • KwikBASIC BASIC Interpreter Free

    KwikBASIC is a BASIC interpreter written in FreeBASIC and closely follows the FreeBASIC syntax.

  • UniboStreamingProject Free

    This is a Client-Server Streaming application that support multicast audio streaming using RTP / RTCP and on-demand audio-video streaming using RTSP. It support load-balancing and disaster recovery policy

  • FluxWin Free

    FluxWin is a port of FluxBox for Cygwin/XFree86 platforms. I have taken the FluxBox source and hacked away the parts that wouldn't compile under Cygwin. The latest working version is 0.0.1 based on Fluxbox 0.9.7.

  • ctInstaller Suite Free

    Simple setup program/creator. All setup data are stored as exe-files (can be reopened) Files/Data are compressed. No temporary files during setup Components and setup operations are script-based. Designed for vb6 programs (re

  • Remote Installer Starter Free

    This software audit tool for local networks allows collecting data on applications installed on remote PCs. The collected information is stored in the database and can be used to generate software inventory reports for every

  • chrootbin Free

    Chrootbin is a tool which will help you make basic a chroot environment. It lets you skip the boring parts of making a chroot from scratch. It also helps you to install any other executables like strace or find.

  • NSClient for Nagios Free

    NSClient monitoring agent for Windows servers for use in the Nagios monitoring framework.

  • sockthread Free

    SockThread is an implementation of multithreaded sockets. It is built-in with an echo server for telnet connections. It is initially written with standard native C/C++ libraries. C++ classes std::thread and C socket APIs <

  • Like-C compiler Free

    Like-C compiler is a small, easy to use application designed to be useful for the users who want to know the compiler's work, such as lexical analysis, grammatical analysis, semantic analysis and stack virtual machine's execu

  • Drupal Video Tutorial | Drupal Video Tut Free

    Step-By-Step Video Tutorials Reveal Shortcut Secrets On How To Conquer Drupal Quickly And Easily.http://www.drupaltutorials.org/index.php