Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. PDA - The Protocol Derivation Assistant
  5. Download

PDA - The Protocol Derivation Assistant

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos

Sobre PDA - The Protocol Derivation Assistant

A Pda fornece suporte à ferramenta para a abordagem derivacional dos protocolos de segurança. Protocolos, modelos, propriedades de segurança são introduzidos através de uma interface gráfica do utilizador. A Pda suporta refinamentos de protocolos e seus modelos e provas de correção incremental.

Programas Relacionados

  • KwikBASIC BASIC Interpreter Grátis

    KwikBASIC é um intérprete BASIC escrito no FreeBASIC e segue de perto a sintaxe FreeBASIC.

  • UniboStreamingProject Grátis

    Esta é uma aplicação de streaming de servidor de clientes que suporta o streaming de áudio multicast usando o streaming de vídeo RTP/RTCP e o streaming de áudio a pedido usando RTSP. Apoia a política de equilíbrio de cargas e

  • FluxWin Grátis

    FluxWin é uma porta de FluxBox para plataformas Cygwin/XFree86. Tirei a fonte do FluxBox e cortei as peças que não compilavam com Cygwin. A versão de trabalho mais recente é 0.0.1 com base no Fluxbox 0.9.7.

  • ctInstaller Suite Grátis

    Programa de configuração simples/criador. Todos os dados de configuração são armazenados à medida que os ficheiros exe (podem ser reabertos) Os ficheiros/dados são comprimidos. Não existem ficheiros temporários durante a conf

  • Remote Installer Starter Grátis

    Esta ferramenta de auditoria de software para redes locais permite recolher dados sobre aplicações instaladas em Computadores remotos. As informações recolhidas são armazenadas na base de dados e podem ser usadas para gerar r

  • chrootbin Grátis

    A crootina é uma ferramenta que o ajudará a tornar o ambiente básico de croás. Permite-lhe saltar as partes chatas de fazer uma crova do zero. Também o ajuda a instalar quaisquer outros executáveis, como strace ou find.

  • NSClient for Nagios Grátis

    Agente de monitorização NSClient para servidores Windows para utilização na estrutura de monitorização de Nagios.

  • sockthread Grátis

    SockThread é uma implementação de tomadas multi-leituras. É incorporado com um servidor de eco para ligações telnet. É inicialmente escrito com bibliotecas c/C++ nativas padrão. C++ classes std::thread e C socket APIs <sys

  • Like-C compiler Grátis

    O compilador like-C é uma aplicação pequena e fácil de usar projetada para ser útil para os utilizadores que querem saber o trabalho do compilador, tais como análise lexical, análise gramatical, análise semântica e stack exec

  • Drupal Video Tutorial | Drupal Video Tut Grátis

    Os tutoriais de vídeo passo a passo revelam segredos de atalho sobre como conquistar Drupal de forma rápida e fácil.http://www.drupaltutorials.org/index.php