摘要:
加密算法的语法 密钥空间K:密钥生成算法能够生成的所有密钥的集合 明文空间M:所有合法明文的集合 密文空间C:所有可能的密文的集合,这个集合同时由密钥空间K和明文空间M定义 一个加密方案通常由三个算法:(Gen、Enc、Dec)以及明文空间明确定义 Gen:密钥生成函数,以安全参数作为输入,然后将密 阅读全文
摘要:
lambda abstraction(lambda abstraction) 在lambda运算中,函数的表达式与平常的不同: f(x)=M,应该表示成λx.M(带函数名的写法为,f≡λx.M)的形式,这样左到目的是为了省略函数的名称,从而更加简洁 lambda abstraction中点号的后面包 阅读全文