Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. libsparkcrypto

libsparkcrypto

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Mise en œuvre formellement vérifiée d’algorithmes cryptographiques utilisant le langage de programmation SPARK. Pour la bibliothèque complète, des preuves de l’absence d’erreurs de temps d’exécuteur sont disponibles. Certains de ses sous-programmes comprennent des preuves de rectitude partielle.

historique de la version

  • Version files posté sur 2010-09-13
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-09-13

Détails du programme

Programmes connexes

  • GenPW Gratuit

    GenPW est un petit générateur de mots de passe simple. Il fournit quelques fonctionnalités supplémentaires comme, Modèles de mots de passe et probabilités characterset.

  • ipfwAdmin Gratuit

    IpfwAdmin est un outil d’administration web autonome qui gère FreeBSD Ipfw tables de règles. Il contient c plaine et quelques scripts csh / awk / sed.

  • Cosign: Web Single Sign-On Gratuit

    Un projet open source conçu à l’origine pour fournir à l’Université du Michigan un système d’authentification web unique sécurisé. Cosign fait partie de la national Science Foundation Middleware Initiative (NMI) EDIT version

  • SIFA Gratuit

    SIFA (Secure Information Flow Analyser) utilise une approche graphique pour raisonner les vulnérabilités possibles d’un système du point de vue de la sécurité de l’information, en soutenant plusieurs vues sur le système. SIFA

  • mySQLenum Gratuit

    mySQLenum est un outil d’injection automatique de sql de ligne de commande pour l’application Web qui utilise le serveur MySql comme back-end. Son objectif principal est de fournir une interface de ligne de commande facile à

  • loop-AES Gratuit

    Système de fichiers rapide et transparent et swap package de cryptage pour Linux.Aucun changement de code source au noyau linux.Fonctionne avec 2,6, 2,4, 2,2 et 2,0 grains.

  • Comply Gratuit

    Un outil de suivi de la conformité basé sur le Web qui démarrera sur la base du NIST 800-53. Espérons qu’il comprendra HIPAA, GLBA, Sarbane Oxley, Privacy Act, etc.

  • KeyCenter4NB Gratuit

    Une suite de modules pour l’IDE Netbeans pour accéder et manipuler les fichiers Java keystore, les certificats X.509, etc.

  • Universal SAFE Signing Interface Gratuit

    USSI est l’interface universelle de signature SAFE. USSI fournit des services Web pour l’application de signatures numériques SAFE pour PDF, texte, xml, etc. Veuillez consulter http://www.safe-biopharma.org pour plus d’info

  • ASP.Net TypeKey authentication module Gratuit

    Un module C# pour permettre aux sites ASP.Net d’utiliser facilement le service d’authentification TypeKey.