密码学中的可证明安全性-杨波-2014.11.11