Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. libsparkcrypto

libsparkcrypto

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen
Herunterladen

Eine formal verifizierte Implementierung kryptografischer Algorithmen mit der Programmiersprache SPARK. Für die komplette Bibliothek stehen Nachweise für das Fehlen von Laufzeitfehlern zur Verfügung. Einige seiner Unterprogramme enthalten Nachweise der teilweisen Korrektheit.

VERSIONSVERLAUF

  • Version files veröffentlicht auf 2010-09-13
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2010-09-13

Programmdetails

Verwandte Programme

  • GenPW kostenlos

    GenPW ist ein kleiner und einfacher Passwortgenerator. Es bietet einige zusätzliche Funktionen wie Password Patterns und Characterset Probabilities.

  • ipfwAdmin kostenlos

    IpfwAdmin ist ein eigenständiges webbasiertes Admin-Tool, das FreeBSD Ipfw-Regeltabellen. Es enthält einfache c und einige csh/awk/sed Skripte.

  • Cosign: Web Single Sign-On kostenlos

    Ein Open-Source-Projekt, das ursprünglich entwickelt wurde, um der University of Michigan ein sicheres Single Sign-On-Webauthentifizierungssystem zur Verfügung zu stellen. Cosign ist Teil der Software-Version der National Sci

  • SIFA kostenlos

    SIFA (Secure Information Flow Analyser) verwendet einen graphenbasierten Ansatz, um die möglichen Schwachstellen eines Systems aus Sicht der Informationssicherheit zu begründen und mehrere Ansichten über das System zu unterst

  • mySQLenum kostenlos

    mySQLenum ist ein automatisches Blind-SQL-Injektionstool für Webanwendungen, das MySql-Server als Back-End verwendet. Sein Hauptziel ist es, eine einfach zu bedienende Befehlszeilenschnittstelle bereitzustellen.

  • loop-AES kostenlos

    Schnelles und transparentes Dateisystem und Swap-Verschlüsselungspaket für Linux.Keine Quellcodeänderungen am Linux-Kernel.Funktioniert mit 2.6, 2.4, 2.2 und 2.0 Kerneln.

  • Comply kostenlos

    Ein webbasiertes Compliance-Tracking-Tool, das basierend auf NIST 800-53 gestartet wird. Hoffentlich wird es HIPAA, GLBA, Sarbane Oxley, Privacy Act usw. enthalten.

  • KeyCenter4NB kostenlos

    Eine Suite von Modulen für die Netbeans IDE für den Zugriff auf und die Bearbeitung von Java-Keystore-Dateien, X.509-Zertifikaten usw.

  • Universal SAFE Signing Interface kostenlos

    USSI ist die universelle SAFE Signing Interface. USSI bietet Web-Services für die Anwendung von SAFE digitale Signaturen für PDF, Text, XML, etc. Weitere Informationen zu SAFE finden Sie in http://www.safe-biopharma.org.

  • ASP.Net TypeKey authentication module kostenlos

    Ein C-Modul, mit dem ASP.Net Standorte den TypeKey-Authentifizierungsdienst problemlos verwenden können.