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

PDA - The Protocol Derivation Assistant

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre PDA - The Protocol Derivation Assistant

O Pda fornece suporte de ferramentas para a abordagem derivacional dos protocolos de segurança. Protocolos, modelos, propriedades de segurança são inseridos através de uma interface gráfica de usuário. O PDA suporta refinamentos de protocolos e seus modelos e provas de correção incremental.

Programas Relacionados

  • KwikBASIC BASIC Interpreter Livre

    KwikBASIC é um intérprete BÁSICO escrito em FreeBASIC e acompanha de perto a sintaxe FreeBASIC.

  • UniboStreamingProject Livre

    Este é um aplicativo de streaming cliente-servidor que suporta streaming de áudio multicast usando RTP / RTCP e streaming de áudio-vídeo sob demanda usando RTSP. Ele suporta a política de balanceamento de carga e recuperação

  • FluxWin Livre

    FluxWin é uma porta de plataformas FluxBox para cygwin/XFree86. Peguei a fonte do FluxBox e cortei as peças que não compilaram sob Cygwin. A versão de trabalho mais recente é 0.0.1 baseada no Fluxbox 0.9.7.

  • ctInstaller Suite Livre

    Programa/criador de configuração simples. Todos os dados de configuração são armazenados como exe-files (podem ser reabertos) Arquivos/Dados são compactados. Nenhum arquivo temporário durante a configuração Os componentes e a

  • Remote Installer Starter Livre

    Esta ferramenta de auditoria de software para redes locais permite coletar dados em aplicativos instalados em PCs remotos. As informações coletadas são armazenadas no banco de dados e podem ser usadas para gerar relatórios de

  • chrootbin Livre

    Chrootbin é uma ferramenta que vai ajudá-lo a tornar básico um ambiente chroot. Ele permite que você pule as partes chatas de fazer um chroot do zero. Ele também ajuda você a instalar quaisquer outros executáveis como strace

  • NSClient for Nagios Livre

    Agente de monitoramento NSClient para servidores Windows para uso na estrutura de monitoramento nagios.

  • sockthread Livre

    SockThread é uma implementação de soquetes multithreaded. Ele é incorporado com um servidor echo para conexões telnet. Inicialmente é escrito com bibliotecas padrão nativas C/C++. Foram utilizadas as classes C++std::thread e

  • Like-C compiler Livre

    O compilador Like-C é um aplicativo pequeno e fácil de usar projetado para ser útil para os usuários que desejam conhecer o trabalho do compilador, como análise léxica, análise gramatical, análise semântica e execução da máqu

  • Drupal Video Tutorial | Drupal Video Tut Livre

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