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

PDA - The Protocol Derivation Assistant

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos

acerca de PDA - The Protocol Derivation Assistant

Pda proporciona soporte de herramientas para el enfoque derivativo de los protocolos de seguridad. Protocolos, modelos, propiedades de seguridad se introducen a través de una interfaz gráfica de usuario. Pda soporta refinamientos de protocolos y sus modelos y pruebas de corrección incremental.

Programas relacionados

  • KwikBASIC BASIC Interpreter Gratis

    KwikBASIC es un intérprete BASIC escrito en FreeBASIC y sigue de cerca la sintaxis de FreeBASIC.

  • UniboStreamingProject Gratis

    Se trata de una aplicación de streaming cliente-servidor que admite la transmisión de audio multidifusión mediante RTP / RTCP y streaming de audio y vídeo a petición mediante RTSP. Admite la política de equilibrio de carga y

  • FluxWin Gratis

    FluxWin es un puerto de FluxBox para plataformas Cygwin/XFree86. He tomado la fuente FluxBox y hackeado las partes que no compilarían bajo Cygwin. La última versión de trabajo es 0.0.1 basado en Fluxbox 0.9.7.

  • ctInstaller Suite Gratis

    Programa/creador de instalación simple. Todos los datos de instalación se almacenan como archivos exe (se pueden volver a abrir) Los archivos/datos se comprimen. No hay archivos temporales durante la instalación Componentes y

  • Remote Installer Starter Gratis

    Esta herramienta de auditoría de software para redes locales permite recopilar datos sobre aplicaciones instaladas en equipos remotos. La información recopilada se almacena en la base de datos y se puede utilizar para generar

  • chrootbin Gratis

    Chrootbin es una herramienta que te ayudará a crear un entorno chroot básico. Le permite saltarse las partes aburridas de hacer una chroot desde cero. También le ayuda a instalar cualquier otro ejecutable como strace o encont

  • NSClient for Nagios Gratis

    Agente de supervisión NSClient para servidores Windows para su uso en el marco de supervisión de Nagios.

  • sockthread Gratis

    SockThread es una implementación de sockets multiproceso. Está integrado con un servidor de eco para conexiones telnet. Inicialmente está escrito con bibliotecas nativas estándar de C/C++. Se utilizaron las clases de C++ std:

  • Like-C compiler Gratis

    El compilador Like-C es una aplicación pequeña y fácil de usar diseñada para ser útil para los usuarios que desean conocer el trabajo del compilador, como el análisis léxico, el análisis gramatical, el análisis semántico y la

  • Drupal Video Tutorial | Drupal Video Tut Gratis

    Tutoriales de vídeo paso a paso revelan secretos de acceso directo sobre cómo conquistar Drupal rápida y fácilmente.http://www.drupaltutorials.org/index.php