Invia software
  1. Casa
  2. Linux
  3. Altro
  4. libsparkcrypto

libsparkcrypto

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

Implementazione formalmente verificata di algoritmi crittografici utilizzando il linguaggio di programmazione SPARK. Per la libreria completa sono disponibili prove dell'assenza di errori di runtime. Alcuni dei suoi sottoprogrammi includono prove di correttezza parziale.

cronologia delle versioni

  • Versione files pubblicato il 2010-09-13
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-09-13

Dettagli del programma

Programmi correlati

  • GenPW Gratuito

    GenPW è un piccolo e semplice generatore di password. Fornisce alcune funzionalità aggiuntive come Password Patterns e Characterset Probabilities.

  • ipfwAdmin Gratuito

    IpfwAdmin è uno strumento di amministrazione autonomo basato sul Web che gestisce Tabelle delle regole Ipfw FreeBSD. Contiene c semplice e alcuni script csh/awk/sed.

  • Cosign: Web Single Sign-On Gratuito

    Un progetto open source originariamente progettato per fornire all'Università del Michigan un sistema di autenticazione Web single sign-on sicuro. Cosign fa parte della versione software EDIT della National Science Foundation

  • SIFA Gratuito

    SIFA (Secure Information Flow Analyser) utilizza un approccio basato su grafici per ragionare sulle possibili vulnerabilità di un sistema dal punto di vista della sicurezza delle informazioni, supportando più visualizzazioni

  • mySQLenum Gratuito

    mySQLenum è uno strumento di iniezione sql cieco automatico della riga di comando per l'applicazione Web che utilizza il server MySql come back-end. Il suo obiettivo principale è quello di fornire un'interfaccia della riga di

  • loop-AES Gratuito

    File system veloce e trasparente e pacchetto di crittografia di scambio per Linux.Nessuna modifica del codice sorgente al kernel Linux.Funziona con kernel 2.6, 2.4, 2.2 e 2.0.

  • Comply Gratuito

    Uno strumento di monitoraggio della conformità basato sul Web che inizierà sulla base del NIST 800-53. Speriamo che includa HIPAA, GLBA, Sarbane Oxley, Privacy Act ecc.

  • KeyCenter4NB Gratuito

    Una suite di moduli per Netbeans IDE per l'accesso e la manipolazione di file keytore Java, certificati X.509, ecc.

  • Universal SAFE Signing Interface Gratuito

    USSI è l'interfaccia di firma SAFE universale. USSI fornisce servizi web per l'applicazione di firme digitali SAFE per PDF, testo, xml, ecc. Si prega http://www.safe-biopharma.org per ulteriori informazioni su SAFE.

  • ASP.Net TypeKey authentication module Gratuito

    Modulo C# che consente ai ASP.Net di utilizzare facilmente il servizio di autenticazione TypeKey.