密码学中的可证明安全性-杨波-2014.11.11
2019-12-21 19:49:39 1.6MB 可证明安全
1
香农公式的中文证明 中文的 还基本值得一看
2019-12-21 19:42:53 938KB 香农公式证明
1
Coq poly.v 证明答案 证明辅助器 多态 poly.v poly.v
2019-12-21 19:24:45 42KB Coq poly.v 证明答案
1
《密码学中的可证明安全性》书籍扫描版,杨波,清华大学出版社
2019-12-21 18:47:53 35.56MB 密码学 可证明安全性 杨波
1