使用 SPARK 程式設計語言正式驗證的加密演算法實現。對於完整的庫證明不存在運行時錯誤可用。其一些次級方案包括部分正確性的證據。
版本歷史記錄
- 版本 files 發佈於 2010-09-13
若干修復和更新 - 版本 N/A 發佈於 2010-09-13
軟體細節
- 軟體分類： 安全和隱私 > 其他
- 發佈者： senier.net/libsparkcrypto
- 軟體性質： 免費
- 價格： N/A
- 版本： Array
- 作業系統： linux
使用 SPARK 程式設計語言正式驗證的加密演算法實現。對於完整的庫證明不存在運行時錯誤可用。其一些次級方案包括部分正確性的證據。