libsparkcrypto

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy

Hakkı -nda libsparkcrypto

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.