抗泄露公钥体制----《密码学中的可证明安全性》图示小结

抗泄露公钥体制----《密码学中的可证明安全性》

密码学可证明安全推荐书目（系列博客内容为这两本书学习笔记与内容小结):

《密码学中的可证明安全性》杨波 清华大学出版社

《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu Springer

抗泄露模型图示

                                                              

有界泄露模型：泄露预言机所泄露的内容，不能超过预先设定的边界值。

熵缩减模型：模型中允许泄露谕言机输出的长度可以大于秘钥程度，但是秘钥最小熵的损失必须小于预先的设定值。

辅助输入泄露模型：模型中敌手提供的泄露函数对于安全参数来说是在计算上不可逆的。

唯计算泄露模型：仅参与计算的存储器才可能泄露信息。

存储泄露模型：只要信息泄露不超过系统的泄漏率，敌手可以在任意时刻获得用户秘密状态的泄露信息。

密钥封装机制图示

                                                            

秘钥封装机制是非常简单，非常高效的一种密码使用方法，使用公钥系统的秘钥对 加密-解密 对称系统的私钥，因为对称加密是非常高效率的，并且加密后的密文也不会被扩展长度，不存在密文爆炸的情况。

哈希证明系统

哈希证明系统，是一类证明系统，存在多种不同的实例实现。在《密码学中的可证明安全性》中，使用秘钥封装机制作为哈希证明系统的一种实例描述。描述图示如下：

                                 

                                

秘钥泄露攻击模型

                                                               

粗略的来看，抗泄露密码体制实质上是为了防止秘钥泄露导致的不安全性，新增加了一种对秘钥泄露程度 与 密码系统安全性的刻画机制。增加一个泄露谕言机，允许敌手向泄露谕言机发送一个任意的函数f，获得泄露谕言机输出获得部分关于秘钥的信息。然后，证明即使敌手获得了泄露的内容与信息，也不能攻破方案。