2021 年 9月随笔档案 - jjppp

密码学03 Computational

摘要：Background 前面提到的perfect secrecy虽然好，但有着理论上的局限：key太长、key太多等等，用起来不是那么方便一个idea就是，我们放弃部分安全性来换取更实用的密码。这里要回答几个问题：放弃哪些？放弃多少？放弃之后的安全性如何衡量？注意，接下来的讨论如无特殊说明，都以e 阅读全文

posted @ 2021-09-27 14:27 jjppp 阅读(530) 评论(0) 推荐(0) 编辑

形式语义03 Lambda

摘要：

λ

$\lambda$ -calculus Background 首先这是一种编程语言，在1930s被Alonzo Church和Stephen Cole Kleene发明（两位都是听说过的明星人物）还是一种计算模型，在1937年被Alan Turing证明其和图灵机的表达能力等价（这位更是重量级）阅读全文

posted @ 2021-09-16 11:36 jjppp 阅读(292) 评论(0) 推荐(0) 编辑

密码学02 Perfect

摘要：概率论前置技能其实就三个公式条件概率公式：

P r [B | A] = \frac{P r [A \land B]}{P r [A]}

$Pr[B|A]=\dfrac{Pr[A\wedge B]}{Pr[A]}$ ，这个是定义贝叶斯公式

P r [B | A] = \frac{P r [A | B] \cdot P r [B]}{P r [A]}

$Pr[B|A]=\dfrac{Pr[A|B]\cdot Pr[B]}{Pr[A]}$ ，这个只需要按照上面的展开就可以证明全概率公式 \(P 阅读全文

posted @ 2021-09-15 01:26 jjppp 阅读(418) 评论(0) 推荐(0) 编辑

形式语义01 Intro

摘要：感觉第一节课都差不多推荐了Software Foundations，搜了一圈发现非常劝退....但还是磨磨蹭蹭看完了Lists 书上说不建议贴答案和题解，那就不贴了吧（ developing general abstractions, or building blocks, for solving 阅读全文

posted @ 2021-09-09 21:44 jjppp 阅读(62) 评论(0) 推荐(0) 编辑

形式语义02 Math

摘要：Basic Set Theory 没啥好讲的

⋂ S = {x | \forall T \in S, x \in T}

$\bigcap S=\left\{\;x\;|\; \forall T\in S,x\in T \;\right\}$ 记

R = ⋂ \emptyset

$R=\bigcap\emptyset$ ，则 \(\forall x. \forall T\in\emptyset\we 阅读全文

posted @ 2021-09-09 21:44 jjppp 阅读(110) 评论(0) 推荐(0) 编辑

密码学01 Intro

摘要：密码学关心的问题和应用 Secrecy，即信息是否泄露 Integrity，即信息是否被篡改 Oblivious Transfer(不经意传输) Zero Knowledge Proof(零知识证明) Secure Multi-party Computation(多方计算) Digital Curr 阅读全文

posted @ 2021-09-02 22:02 jjppp 阅读(387) 评论(0) 推荐(0) 编辑

编译原理笔记3 语法分析

摘要：写的时候复制到笔记2那里去了...晕，这个点还不睡就是不行啦 CFG 上下文无关语法(Context Free Grammar)，或者说BNF(Backus Naur Form)，是用于描述一类语言的法则，也即是语法语法包括：终结符号(terminal)集

T

$T$ 非终结符号(nonterm 阅读全文

posted @ 2021-09-01 01:33 jjppp 阅读(401) 评论(0) 推荐(0) 编辑

编译原理笔记2 词法分析

摘要：词法分析的作用读取字符流，输出词法单元给语法分析器在1的过程中去掉不必要的内容(空白符、注释)，查错报错与符号表交互，插入符号的相关内容虽然词法分析和语法分析是两个独立的部分，但它们通常在同一趟为什么要独立词法分析模块化词法分析很简单，实现也很简单 PPT把1+2又说了一遍.... 词阅读全文

posted @ 2021-09-01 01:32 jjppp 阅读(424) 评论(0) 推荐(0) 编辑

jjppp的博客

那就这样吧!@#$%^&*_

09 2021 档案

公告

最新随笔

随笔分类 (89)

随笔档案 (84)

友情链接

评论排行榜

最新评论