Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Obol
  5. Download

Obol 2009-03-28

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

acerca de Obol

Obol es un lenguaje de programación para protocolos de seguridad. La idea es programar más cerca de las abstracciones utilizadas para describir y analizar los protocolos de seguridad, dejando detalles de bajo nivel como representación de mensajes, comunicación, criptografía, al tiempo de ejecución.

Programas relacionados

  • Action1 Add or Change Startup Program Gratis

    El sistema operativo Windows inicia automáticamente ciertas aplicaciones especificadas en cada perfil de usuario al iniciar sesión. Agregar un programa al inicio en Windows puede ayudar a preparar el escritorio del usuario al

  • Secured Sumatra PDF Gratis

    Secured Sumatra PDF es una versión modificada de Sumatra PDF destinada a ser implementada en entornos de Terminal Server especialmente seguros como Citrix.

  • EyeLog Gratis

    EyeLog es un analizador de registros flexible y extensible para cualquier tipo de archivo de registro. Permite definir expresiones regulares personalizadas (estilo perl) para la coincidencia de patrones y formatos printf pers

  • gui4bdc Gratis

    gui4bdc es un front-end gráfico de Bit Defender Console, un escáner de virus para Linux (disponible en http://www.bitdefender.com). Su objetivo será proporcionar toda la funcionalidad de la utilidad de consola en una interfaz

  • TPM Device Driver Gratis

    Controlador de dispositivo para habilitar el chip TPM como se describe en las especificaciones en http://www.trustedcomputinggroup.org.El chip TPM le permitirá utilizar hardware para almacenar y proteger sus claves y datos

  • OpenSmartHome Gratis

    Open Smart Home es un proyecto que proporciona una interfaz de control inteligente para su hogar.

  • Easy-SEND Gratis

    Easy-SEND es una implementación del protocolo SEND (SEcure Neighbor Discovery) para IPv6. Está destinado a ser utilizado con fines de aprendizaje y pruebas. SEND se describe en RFC 3971. Easy-SEND incluye una herramienta (CGA

  • EasyCrypter Gratis

    EasyCrypter es una aplicación JAVA para el cifrado de datos. Cifrar sus archivos en varios pasos fáciles.

  • StegTorrent Gratis

    Una herramienta para ocultar metainfo BitTorrent (archivos .torrent) y restaurar la misma parte de las imágenes (y otros tipos de archivos) utilizando métodos esteganográficos, proporcionando una interfaz gráfica de usuar

  • MiniFW Gratis

    Distribución de Linux de pie en un disquete: iptables, kernel 2.4.18, soporte sshd y fácil de configurar.