Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. libsparkcrypto

libsparkcrypto

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

Una implementación formalmente verificada de algoritmos criptográficos utilizando el lenguaje de programación SPARK. Para las pruebas de biblioteca completas de la ausencia de errores en tiempo de ejecución están disponibles. Algunos de sus subprogramas incluyen pruebas de corrección parcial.

historial de versiones

  • Versión files publicado en 2010-09-13
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2010-09-13

Detalles del programa

Programas relacionados

  • GenPW Gratis

    GenPW es un pequeño y sencillo generador de contraseñas. Proporciona algunas funciones adicionales como, patrones de contraseña y probabilidades de conjunto de caracteres.

  • ipfwAdmin Gratis

    IpfwAdmin es una herramienta de administración independiente basada en la web que administra Tablas de reglas de FreeBSD Ipfw. Contiene c simple y algunos scripts csh/awk/sed.

  • Cosign: Web Single Sign-On Gratis

    Un proyecto de código abierto diseñado originalmente para proporcionar a la Universidad de Michigan un sistema de autenticación web de inicio de sesión único seguro. Cosign es parte de la versión de software EDIT de national

  • SIFA Gratis

    SIFA (Secure Information Flow Analyser) utiliza un enfoque basado en gráficos para razonar sobre las posibles vulnerabilidades de un sistema desde una perspectiva de seguridad de la información, lo que admite múltiples vistas

  • mySQLenum Gratis

    mySQLenum es una herramienta de inyección automática de sql ciega de línea de comandos para aplicaciones web que utiliza el servidor MySql como back-end. Su objetivo principal es proporcionar una interfaz de línea de comandos

  • loop-AES Gratis

    Sistema de archivos rápido y transparente y paquete de cifrado de intercambio para Linux.No hay cambios en el código fuente en el kernel de Linux.Funciona con kernels 2.6, 2.4, 2.2 y 2.0.

  • Comply Gratis

    Una herramienta de seguimiento de cumplimiento basada en web que comenzará basada en NIST 800-53. Esperemos que incluya HIPAA, GLBA, Sarbane Oxley, Privacy Act, etc.

  • KeyCenter4NB Gratis

    Un conjunto de módulos para el IDE de Netbeans para acceder y manipular archivos de almacén de claves Java, certificados X.509, etc.

  • Universal SAFE Signing Interface Gratis

    USSI es la interfaz de firma universal segura. USSI ofrece servicios web para la aplicación de firmas digitales SAFE para PDF, texto, xml, etc. Consulte http://www.safe-biopharma.org para obtener más información sobre SAFE.

  • ASP.Net TypeKey authentication module Gratis

    Un módulo de C- para permitir que ASP.Net sitios use fácilmente el servicio de autenticación TypeKey.