【密码学复习】【Chapter 2】【完美保密】

第二章 完美保密

Part 0 任务

• 证明一比特完美保密
• 证明完美保密的等价公式
• 证明完美保密等价不可区分性
• 证明一次一密是完美保密
• 证明完美保密的局限性

Part 1 定义和基本属性

• 随机变量： $K,M,C$
• 概率：$\mathrm{Pr}[K=k],\mathrm{Pr}[M=m],\mathrm{Pr}[C=c]$

1.1 定义完美保密

• 在$\mathcal{M}$上$\Pi$是完美保密的，若对于$\mathcal{M}$上的任意概率分布, $\forall m\in \mathcal{M}$ 与 $\forall c\in \mathcal{C}$ , 且 $\mathrm{Pr}[C=c]>0$:

  $$\mathrm{Pr}[M=m|C=c]=\mathrm{Pr}[M=m].$$

• 某个明文被发送的后验似然与该明文被发送的先验概率没有差别

1.2 一比特上的完美保密

• M = K = { 0 , 1 } , E n c k ( m ) = m ⊕ k \mathcal{M}=\mathcal{K} = \{ 0,1 \} , \mathsf{Enc}_k(m)= m \oplus k <