Sistemi operativi che sono matematicamente dimostrati sicuri al 100% (o al 99%)?

Il Il microkernel verificato di OKL4 ha superato i più stringenti livelli di valutazione della valutazione di Common Criteria (EAL 7). Anche questo non significa che sia "sicuro", "sicuro al 100%" o "più sicuro", significa solo che è stato formalmente dimostrato che l'implementazione del microkernel è compatibile con il modello di sicurezza definito dal fornitore.

Tale modello di sicurezza conterrà ipotesi sull'ambiente e modalità di funzionamento del software che potrebbero non essere coerenti con il proprio ambiente. Prendendo un esempio diverso, quando il Target of Evaluation è un sistema operativo commerciale, il modello di solito presuppone che tutti gli operatori siano benigni e che qualsiasi sistema remoto a cui è collegato il dispositivo valutato sia anche coerente con il modello di sicurezza del ToE.

Come quantificate sicuro al 100%? Nessun sistema connesso a Internet è mai sicuro al 100%. Non dimentichiamoci inoltre di bug, exploit, malware, virus e così via. L'unico sistema sicuro al 100% è uno che è scollegato e spento!