libsparkcrypto
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
Tentang libsparkcrypto
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.
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.