Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. libsparkcrypto

libsparkcrypto

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

Implementasi algoritma kriptografi yang diverifikasi secara resmi menggunakan bahasa pemrograman SPARK. Untuk bukti pustaka lengkap tentang tidak adanya kesalahan run-time yang tersedia. Beberapa subprogramnya termasuk bukti kebenaran parsial.

Riwayat versi

  • Versi files diposting di 2010-09-13
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2010-09-13

Detil Program

Program Terkait

  • GenPW Gratis

    GenPW adalah pembuat kata sandi kecil dan sederhana. Ini menyediakan beberapa fungsi tambahan seperti, Pola Kata Sandi dan Probabilitas Characterset.

  • ipfwAdmin Gratis

    IpfwAdmin adalah alat admin berbasis web mandiri yang mengelola Tabel aturan Ipfw FreeBSD. Ini berisi c polos dan beberapa skrip csh / awk / sed.

  • Cosign: Web Single Sign-On Gratis

    Sebuah proyek open source awalnya dirancang untuk menyediakan University of Michigan dengan sistem otentikasi web masuk tunggal yang aman. Cosign adalah bagian dari rilis perangkat lunak National Science Foundation Middleware

  • SIFA Gratis

    SIFA (Secure Information Flow Analyser) menggunakan pendekatan berbasis grafik untuk alasan tentang kemungkinan kerentanan sistem dari perspektif keamanan informasi, mendukung beberapa tampilan atas sistem. SIFA adalah protot

  • mySQLenum Gratis

    mySQLenum adalah alat injeksi blind sql otomatis baris perintah untuk aplikasi web yang menggunakan server MySql sebagai back-end-nya. Tujuan utamanya adalah untuk menyediakan antarmuka baris perintah yang mudah digunakan.

  • loop-AES Gratis

    Sistem file yang cepat dan transparan dan menukar paket enkripsi untuk linux.Tidak ada perubahan kode sumber pada kernel linux.Bekerja dengan 2,6, 2,4, 2,2 dan 2,0 kernel.

  • Comply Gratis

    Alat pelacakan kepatuhan berbasis web yang akan dimulai berdasarkan NIST 800-53. Mudah-mudahan itu akan mencakup HIPAA, GLBA, Sarbane Oxley, Undang-Undang Privasi dll.

  • KeyCenter4NB Gratis

    Serangkaian modul untuk IDE Netbeans untuk mengakses dan memanipulasi file keystore Java, sertifikat X.509, dll.

  • Universal SAFE Signing Interface Gratis

    USSI adalah Antarmuka Penandatanganan UNIVERSAL SAFE. USSI menyediakan layanan web untuk penerapan tanda tangan digital SAFE untuk PDF, teks, xml, dll. Silakan lihat http://www.safe-biopharma.org informasi lebih lanjut tent

  • ASP.Net TypeKey authentication module Gratis

    Modul C# untuk memungkinkan ASP.Net dengan mudah menggunakan layanan autentikasi TypeKey.