Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. libsparkcrypto

libsparkcrypto

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

Pelaksanaan algoritma kriptografi yang disahkan secara rasmi menggunakan bahasa pengaturcaraan SPARK. Untuk bukti perpustakaan yang lengkap tentang ketiadaan kesilapan masa jalanan disediakan. Beberapa subprogramnya termasuk bukti ketepatan separa.

sejarah versi

  • Versi files diposkan pada 2010-09-13
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-09-13

Butiran Atur Cara

Atur Cara Berkaitan

  • GenPW Percuma

    GenPW adalah penjana kata laluan yang kecil dan mudah. Ia menyediakan beberapa fungsi tambahan seperti, Corak Kata Laluan dan Kebarangkalian Aksara.

  • ipfwAdmin Percuma

    IpfwAdmin adalah alat pentadbir berasaskan web bersendirian yang menguruskan Jadual peraturan FreeBSD Ipfw. Ia mengandungi c biasa dan beberapa skrip csh/awk/sed.

  • Cosign: Web Single Sign-On Percuma

    Projek sumber terbuka pada asalnya direka untuk menyediakan Universiti Michigan dengan sistem pengesahan web daftar masuk tunggal yang selamat. Cosign adalah sebahagian daripada keluaran perisian EDIT Yayasan Sains Negara (NM

  • SIFA Percuma

    SIFA (Pengantara Aliran Maklumat Selamat) menggunakan pendekatan berasaskan graf untuk alasan mengenai kemungkinan kelemahan sistem dari perspektif keselamatan maklumat, menyokong pelbagai pandangan ke atas sistem. SIFA adala

  • mySQLenum Percuma

    mySQLenum adalah baris perintah alat suntikan sql buta automatik untuk aplikasi web yang menggunakan pelayan MySql sebagai back-end. Matlamat utamanya adalah untuk menyediakan antara muka baris arahan yang mudah digunakan.

  • loop-AES Percuma

    Sistem fail yang cepat dan telus dan pakej penyulitan swap untuk linux.Tiada kod sumber berubah kepada linux kernel.Bekerja dengan 2.6, 2.4, 2.2 dan 2.0 kernel.

  • Comply Percuma

    Alat penjejakan pematuhan berasaskan web yang akan bermula berdasarkan NIST 800-53. Mudah-mudahan ia akan merangkumi HIPAA, GLBA, Sarbane Oxley, Akta Privasi dan sebagainya.

  • KeyCenter4NB Percuma

    Satu set modul untuk Netbeans IDE untuk mengakses dan memanipulasi fail keystore Java, sijil X.509, dan lain-lain.

  • Universal SAFE Signing Interface Percuma

    USSI adalah Antara Muka Menandatangani SELAMAT Sejagat. USSI menyediakan perkhidmatan web untuk penggunaan tandatangan digital SELAMAT untuk PDF, teks, xml, dll. Sila lihat http://www.safe-biopharma.org untuk maklumat lanju

  • ASP.Net TypeKey authentication module Percuma

    Modul C# untuk membolehkan tapak ASP.Net menggunakan perkhidmatan pengesahan TypeKey dengan mudah.