libsparkcrypto

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

使用 SPARK 编程语言正式验证的加密算法实现。对于完整的库证明不存在运行时错误可用。其一些次级方案包括部分正确性的证据。

版本历史记录

  • 版本 files 发布于 2010-09-13
    若干修复和更新
  • 版本 N/A 发布于 2010-09-13

软件信息