libsparkcrypto
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
O libsparkcrypto
Formalnie zweryfikowana implementacja algorytmów kryptograficznych przy użyciu języka programowania SPARK. Dla pełnej biblioteki są dostępne dowody braku błędów w czasie wykonywania. Niektóre z jego podprogramów zawierają dowody częściowej poprawności.
Programy pokrewne
-
GenPW Wolna
GenPW to mały i prosty generator haseł. Zapewnia pewne dodatkowe funkcje, takie jak wzorce haseł i prawdopodobieństwa znaków.
-
ipfwAdmin Wolna
IpfwAdmin to autonomiczne narzędzie administratora oparte na sieci Web, które Tabele reguł Ipfw FreeBSD. Zawiera zwykły c i niektóre skrypty csh /awk/sed.
-
Cosign: Web Single Sign-On Wolna
Projekt open source pierwotnie zaprojektowany w celu zapewnienia University of Michigan z bezpiecznego systemu uwierzytelniania jednokrotnego logowania w internecie. Cosign jest częścią wydania oprogramowania National Science
-
SIFA Wolna
SIFA (Secure Information Flow Analyser) wykorzystuje oparte na wykresie podejście do uzasadnienia możliwych luk w zabezpieczeniach systemu z punktu widzenia bezpieczeństwa informacji, obsługując wiele widoków systemu. SIFA je
-
mySQLenum Wolna
mySQLenum to narzędzie do automatycznego wtrysku blind sql dla aplikacji internetowej, które używa serwera MySql jako zaplecza. Jego głównym celem jest zapewnienie łatwego w użyciu interfejsu wiersza polecenia.
-
loop-AES Wolna
Szybki i przejrzysty system plików i pakiet szyfrowania wymiany dla Linuksa.Brak zmian kodu źródłowego do jądra Linuksa.Współpracuje z jądrami 2.6, 2.4, 2.2 i 2.0.
-
Comply Wolna
Internetowe narzędzie do śledzenia zgodności, które rozpocznie się w oparciu o NIST 800-53. Mam nadzieję, że będzie to HIPAA, GLBA, Sarbane Oxley, Privacy Act itp.
-
KeyCenter4NB Wolna
Pakiet modułów dla Ide Netbeans do uzyskiwania dostępu do plików java keystore i manipulowania nimi, certyfikatów X.509 itp.
-
Universal SAFE Signing Interface Wolna
USSI to uniwersalny interfejs do podpisywania SAFE. USSI świadczy usługi internetowe do stosowania podpisów cyfrowych SAFE dla plików PDF, tekstu, xml itp. Więcej informacji na temat SAFE można znaleźć w http://www.safe-bio
-
ASP.Net TypeKey authentication module Wolna
Moduł języka C#, aby umożliwić ASP.Net witrynom łatwe korzystanie z usługi uwierzytelniania TypeKey.