香农定理的松弛版本

最新推荐文章于 2022-07-16 08:24:57 发布

不败老子程文式

最新推荐文章于 2022-07-16 08:24:57 发布

阅读量307

点赞数

分类专栏：密码学文章标签：密码学习题

本文链接：https://blog.csdn.net/pllt1991/article/details/104065866

版权

密码学专栏收录该内容

3 篇文章 0 订阅

订阅专栏

香农定理是说，如果一个加密方案是完美加密的话，那么其密钥空间和明文空间的基数必然相等。这是一个很强的限制，直接使得完美加密方案几乎不具备实用性。为了可以更好的衡量实际的密码方案的安全性，一个最基本的概念就是语义安全性，在语义安全性的基础上，我们可以得到一个“松弛的”的香农定理如下：

定理1：设 $\mathcal{E}(\mathcal{K},\mathcal{M},\mathcal{C})$ 是一个加密方案，其中 $\mathcal{K}$ 是密钥空间， $\mathcal{M}$ 是明文空间， $\mathcal{C}$ 是密文空间，如果该方案的语义安全性的敌手优势满足 $SSadv[\mathcal{A},\mathcal{E}]\le\epsilon$ ，即便敌手的计算能力是无限的，那么必然也有 $|\mathcal{K}|\ge(1-\epsilon)|M|$ 。

证明：用反证法。假如 $|\mathcal{K}|<(1-\epsilon)|M|$ ，设 $\epsilon^\prime=\epsilon+\frac{1}{|\mathcal{M}|}$ ，那么有 $|\mathcal{K}|\le(1-\epsilon^\prime)|M|$ 。因为 $SSadv[\mathcal{A},\mathcal{E}]=|P(W_0)-P(W_1)|$ ，先考察 $P(W_0)$ 的情况，经过简单的分析可知，在 $CryExp_{0}^{\mathcal{E},\mathcal{A}}$ 中敌手输出1当且仅当 $c_0$ 被某个密钥解密以后其明文为 $m_1$ ，这种情况下敌手只能随机选择一个作为返回；再考察 $P(W_1)$ 的情况，在 $CryExp_{1}^{\mathcal{E},\mathcal{A}}$ 中敌手输出1则无法断言 $m_0$ 是否可由某个密钥对 $c_1$ 解密而得，显然，如果 $m_0$ 不能由某个密钥对 $c_1$ 解密而得，则敌手可以以1的概率返回1，否则就只能随机选择一个进行返回。令 $V_0$ 表示事件 $c_0$ 被某个密钥解密以后其明文为 $m_1$ ， $V_1$ 表示事件 $c_1$ 被某个密钥解密以后其明文为 $m_0$ ， $S_0$ 表示事件敌手不得不随机选择时选择返回0，相应的 $S_1$ 就是返回1。又因为密钥之间是相互独立的，所以我们有 $P(W_0)=P(V_0)P(S_1|V_0)=\frac{1}{2}P(V_0)=\frac{1}{2}(1-\epsilon^\prime)$ ，同样，我们有 $P(W_1)=P(V_1)P(S_1|V_1)+P(\overline{V_1})*1=\frac{1}{2}(1-\epsilon^\prime)+\epsilon^\prime$ ，从而有 $SSadv[\mathcal{A},\mathcal{E}]=\epsilon^\prime>\epsilon$ ，产生矛盾！ $\blacksquare$

不败老子程文式

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
香农定理的松弛版本

香农定理是说，如果一个加密方案是完美加密的话，那么其密钥空间和明文空间的基数必然相等。这是一个很强的限制，直接使得完美加密方案几乎不具备实用性。为了可以更好的衡量实际的密码方案的安全性，一个最基本的概念就是语义安全性，在语义安全性的基础上，我们可以得到一个“松弛的”的香农定理如下：定理1：设是一个加密方案，其中是密钥空间，是明文空间，是密文空间，如果该方案的语义安全性的敌手优势满足，即便敌手的...
复制链接

扫一扫