摘要:
计算安全性 计算安全性相比于完美保密放松了两个限制:1)安全只针对在可行时间内运行的高效敌手;2)敌手可以有非常小的概率成功,即在完美保密的实验中敌手猜中明文的概率比1/2稍大些。 放松的必要性 假设有一个加密方案,其密钥空间 K 的大小远小于明文空间 M 的大小,则不论这种加密方案是怎么构造的,都 阅读全文
posted @ 2019-09-21 21:19
2hYan9
阅读(6170)
评论(0)
推荐(1)
摘要:
完美保密 一个在明文空间M上的加密方案(Gen,Enc,Dec),如果对于每个明文 m ∈ M,对每个密文c ∈ C,其中Pr[C=c]>0,有: Pr[ M = m | C = c ] = Pr[ M = m ] 则称这种加密方案是完美保密,换句话说,即在“已知了密文的情况下,得到明文的概率”和“ 阅读全文
posted @ 2019-09-16 15:38
2hYan9
阅读(4982)
评论(3)
推荐(0)
摘要:
加密算法的语法 密钥空间K:密钥生成算法能够生成的所有密钥的集合 明文空间M:所有合法明文的集合 密文空间C:所有可能的密文的集合,这个集合同时由密钥空间K和明文空间M定义 一个加密方案通常由三个算法:(Gen、Enc、Dec)以及明文空间明确定义 Gen:密钥生成函数,以安全参数作为输入,然后将密 阅读全文
posted @ 2019-09-15 17:18
2hYan9
阅读(2809)
评论(0)
推荐(0)
摘要:
lambda abstraction(lambda abstraction) 在lambda运算中,函数的表达式与平常的不同: f(x)=M,应该表示成λx.M(带函数名的写法为,f≡λx.M)的形式,这样左到目的是为了省略函数的名称,从而更加简洁 lambda abstraction中点号的后面包 阅读全文
posted @ 2019-09-09 11:29
2hYan9
阅读(443)
评论(0)
推荐(0)
浙公网安备 33010602011771号