A Practical Public Key Cryptosystem Provably Secure Against Adaptive Chosen Ciphertext Attack