-
分析哈希,对称、非对称加密,零知识证明等密码学算法的理论安全保证。斯坦福大学课程讲义(154页)。
大小:833.75KB | 2019-06-05 01:41:56 -
SMT求解器技术的理论基础,包括谓词逻辑约束求解、涉及Equality logic和Uninterp...
大小:2.57MB | 2018-12-28 10:09:57
Ta的上传资源列表