你好 Sven,

Du kannst prinzipbedingt die Sicherheit eines Systems nicht beweisen. Du kannst nur die Unsicherheit beweisen, indem du die Existenz einer Lücke aufzeigst.

Naja, das stimmt so ja nicht ganz. Man kann natürlich nachweisen, daß keine Lücke vorhanden ist. Damit wäre nachgewiesen, daß das System sicher ist.

Ist aber natürlich schwer, praxisfern und unverhältnismäßig, da man dann nur verifizierte Software einsetzen dürfte.

再见,
 克里斯蒂安