现代密码学2.1--完美安全和完美不可区分/Perfectly secret, Perfectly indistinguishable

最新推荐文章于 2024-10-11 18:52:33 发布

WeidanJi

最新推荐文章于 2024-10-11 18:52:33 发布

阅读量2.4k

点赞数 4

分类专栏：现代密码学文章标签：概率论密码学数学

本文链接：https://blog.csdn.net/qq_41545715/article/details/120371267

版权

本文是博主对《现代密码学》的学习笔记，探讨了完美安全和完美不可区分的概念。完美安全定义了一个即使面对无限算力攻击者也能证明安全的密码方案，要求密文不透露明文的任何信息。完美不可区分则意味着攻击者无法区分加密的不同明文。文章还包含了相关定理的证明和实验过程的解释。

摘要由CSDN通过智能技术生成

现代密码学2.1--完美安全和完美不可区分/Perfectly secret, Perfectly indistinguishable

完美安全
- 定义
- 定理
完美不可区分

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

《现代密码学》第一章所介绍的古典密码，全都已经被破解了。之前由于没有正式的定义、精确的假设，无法证明一个密码方案是否具有严格的安全性。在第二章第一节中，《现代密码学》介绍了对抗具有无限算力的攻击者，也能被证明是安全的密码方案的定义，这样的密码方案被称为是完美安全的；而针对攻击者而言，密码方案的完美不可区分是等价于完美安全的。

完美安全

定义

对于信息空间 $\mathcal{M}$ 上的每一种概率分布，所有信息 $m\in \mathcal{M}$ ，所有密文 $c\in \mathcal{C}$ ，如果 $P r [C = c] > 0$ ，都满足 $P r [M = m ∣ C = c] = P r [M = m]$ 。

也就是，密文 $c\in \mathcal{C}$ 不会透露任何关于明文 $\in \mathcal{M}$ 的信息，完美地隐藏了关于被加密明文 $m$ 的所有信息。

定理

如果对于 $\forall m,m'\in \mathcal{M},\forall c\in \mathcal{C}$ ，都有 $Pr[Enc_K(m)=c]=Pr[Enc_K(m')=c]$ ，那么这个信息空间是 $\mathcal{M}$ 的密码方案是完美安全的。

证明：
要证明“密码方案是完美安全的”，即证满足“ $P r [M = m ∣ C = c] = P r [M = m]$ ”。

$P r [M = m] = 0$ ，则 $P r [M = m ∣ C = c]$ 肯定也是0，那么有 $P r [M = m ∣ C = c] = P r [M = m]$ ；
$P r [M = m] > 0$ ，
贝叶斯定理得 $Pr[M=m|C=c]=\frac{Pr[C=c|M=m]\cdot Pr[M=m]}{Pr[C=c]}$ ，