一个加密方案的选择密文安全性的证明

• Proving the Security of an Encryption Scheme under the Chosen Ciphertext Attacks