Security against Replay Chosen-Ciphertext Attack