抵御选择密文攻击的公钥密码系统的可证明安全性 | Synapse