Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. libsparkcrypto

libsparkcrypto

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

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.

historia wersji

  • Wersja files opublikowany na 2010-09-13
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2010-09-13

Szczegóły programu

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.