SPARK programlama dilini kullanarak şifreleme algoritmalarının resmi olarak doğrulanmış bir uygulaması. Çalışma zamanı hatalarının yokluğuna dair tam kitaplık kanıtları kullanılabilir. Alt programlarından bazıları kısmi doğruluk kanıtlarını içerir.
sürüm geçmişi
- Sürüm files tarihinde gönderildi 2010-09-13
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2010-09-13
Program Detayları
- Kategori: Güvenlik ve Gizlilik > Diğer
- Yayımcı: senier.net/libsparkcrypto
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: linux