10 2021 档案

密码学04 PRG&PRF
摘要：Pseudo Random Generator 真的随机性是要求很强的东西，上一章是对安全性的适当弱化，而这一章就是对随机性的适当弱化，使得我们可以得到一个“不那么随机但是可以当成随机数用的随机数” 也就是伪随机性 定义 这里的随机性指的是一个比特串的分布的随机性，通常用 \(\text{Dist} 阅读全文
posted @ 2021-10-19 21:09 jjppp 阅读(1827) 评论(0) 推荐(0) 编辑
形式语义04 Types
摘要：Types 首先要说明什么是Type Types可以看成是对数据的分类、一种约定，即我们用一个界来描述一类数据构成的集合，用不同的界区分不同的数据种类。对于untyped的语言，我们则可以看成是只有唯一一种包罗万象的type 类型实际上有很多作用，可以进行针对性的优化、可以提供部分代码的信息、可以作 阅读全文
posted @ 2021-10-05 10:42 jjppp 阅读(248) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示