抗泄露公钥体制----《密码学中的可证明安全性》
密码学可证明安全推荐书目(系列博客内容为这两本书学习笔记与内容小结):
《密码学中的可证明安全性》杨波 清华大学出版社
《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu Springer
抗泄露模型图示
有界泄露模型:泄露预言机所泄露的内容,不能超过预先设定的边界值。
熵缩减模型:模型中允许泄露谕言机输出的长度可以大于秘钥程度,但是秘钥最小熵的损失必须小于预先的设定值。
辅助输入泄露模型:模型中敌手提供的泄露函数对于安全参数来说是在计算上不可逆的。
唯计算泄露模型:仅参与计算的存储器才可能泄露信息。
存储泄露模型:只要信息泄露不超过系统的泄漏率,敌手可以在任意时刻获得用户秘密状态的泄露信息。
密钥封装机制图示
秘钥封装机制是非常简单,非常高效的一种密码使用方法,使用公钥系统的秘钥对 加密-解密 对称系统的私钥,因为对称加密是非常高效率的,并且加密后的密文也不会被扩展长度,不存在密文爆炸的情况。
哈希证明系统
哈希证明系统,是一类证明系统,存在多种不同的实例实现。在《密码学中的可证明安全性》中,使用秘钥封装机制作为哈希证明系统的一种实例描述。描述图示如下:
秘钥泄露攻击模型
粗略的来看,抗泄露密码体制实质上是为了防止秘钥泄露导致的不安全性,新增加了一种对秘钥泄露程度 与 密码系统安全性的刻画机制。增加一个泄露谕言机,允许敌手向泄露谕言机发送一个任意的函数f,获得泄露谕言机输出获得部分关于秘钥的信息。然后,证明即使敌手获得了泄露的内容与信息,也不能攻破方案。