A proof that attacks in this model are impossible implies that any realistic chosen-ciphertext attack can not be performed .

A proof that attacks in this model are impossible implies that any practical chosen-ciphertext attack can not be performed .
