libsparkcrypto

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 5.0/5 - ‎1 ‎評分

關於 libsparkcrypto

使用 SPARK 程式設計語言正式驗證的加密演算法實現。對於完整的庫證明不存在運行時錯誤可用。其一些次級方案包括部分正確性的證據。