Diese Art von Sicherheit versucht, den schon freigelassenen Tiger in einem Netz zu halten. Besser wäre es für Betriebssysteme, KI und andere kritische Softwares, Sicherheit von Grund auf einschließlich mathematischer Beweise von Semantik aller zu erlaubenden Softwareaktivitäten einzuführen und für nicht-deterministische Ereignisse wie Hardwarezustandsänderungen durch Höhenstrahlung Ausnahmebehandlungen hinzuzufügen.