书目详细信息 : 密码学中的可证明安全性