libsparkcrypto
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
Circa libsparkcrypto
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.
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.