现代密码学2.4--香农定理/Shannon Theorem：完美安全的充分必要条件

博主正在学习INTRODUCTION TO MODERN CRYPTOGRAPHY (Second Edition) --Jonathan Katz, Yehuda Lindell，做一些笔记供自己回忆，如有错误请指正。整理成一个系列现代密码学，方便检索。

《现代密码学》第一章所介绍的古典密码全都已经被破解了，而2.1节介绍了完美安全的定义，在2.2、2.3节向我们介绍了一次一密以及具有完美安全的密码方案的共同缺点，第2.4节将介绍具有完美安全的密码方案的充分必要条件，也就是香农定理/Shannon Theorem。

香农定理/Shannon Theorem

• 因为在一次一密以及具有完美安全的密码方案的共同缺点中已经证明过：满足完美安全的密码方案必有密钥空间$|\mathcal{K}|\ge |\mathcal{M}|$；
• 因为从明文空间$\mathcal{M}$映射到密文空间$\mathcal{C}$的加密算法一定是一种单射函数，也就是不能有两个明文$m,m^{\prime }$映射到同一个密文$c$的情况出现（如果出现这种情况，那密文$c$可能会解密得到明文$m$或$m^{\prime }$，不满足解密的确定性），那么密文空间$|\mathcal{C}|\ge$明文空间$|\mathcal{M}|$；

综合以上，我们认为满足完美安全的密码方案总是有$|\mathcal{K}|\ge |\mathcal{M}|$，$|\mathcal{C}|\le |\mathcal{M}|$。现在假设$|\mathcal{K}|=|\mathcal{M}|=|\mathcal{C}|$，某种意义上这是一种最优解的情况，在这种情况下满足完美安全的密码方案的充分必要条件。

有两个条件：

• (1) 密钥空间$\mathcal{K}$中的每个密钥$k$是靠生成密钥算法$Gen$等概率选择的，每一个密钥$k$被选择的概率都是$1/|\mathcal{K}|$；
• (2) 对于每个$m\in \mathcal{M}$，$c\in \mathcal{C}$，存在唯一的密钥$k\in \mathcal{K}$使得$En{c}_k(m)=c$。

证明：

• 充分性：即证以上两个条件可推出完美安全$Pr[M=m|C=c]=Pr[M=m]$。
  • 由条件(2)得$Pr[C=c|M=m]=Pr[K=k]$，由条件(1)得 P r [ K = k ] = 1 / ∣ K