可证明安全理论及方法

本书主要内容包括可证明安全理论的概述、基本攻击类型、安全性概念、RO模型方法、混合论证、基于编码的游戏...

2017.11