libsparkcrypto

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

关于 libsparkcrypto

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