使用 SPARK 编程语言正式验证的加密算法实现。对于完整的库证明不存在运行时错误可用。其一些次级方案包括部分正确性的证据。
版本历史记录
- 版本 files 发布于 2010-09-13
若干修复和更新 - 版本 N/A 发布于 2010-09-13
软件信息
- 软件分类: 安全和隐私 > 其他
- 发布者: senier.net/libsparkcrypto
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: linux
使用 SPARK 编程语言正式验证的加密算法实现。对于完整的库证明不存在运行时错误可用。其一些次级方案包括部分正确性的证据。