Une preuve que les attaques dans ce modèle sont impossibles implique que toute attaque réaliste du texte choisi ne peut pas être exécutée.
Une preuve que les attaques dans ce modèle sont impossibles implique que toute attaque du texte choisi ne peut pas être réalisée.