¿Se ha comprobado matemáticamente que el 100% (o el 99%) sea seguro?

El OKL4 Verified microkernel ha superado los niveles de aseguramiento de evaluación Common Criteria más estrictos (EAL 7). Incluso esto no significa que sea "seguro", "100% seguro" o "más seguro", solo significa que se ha demostrado formalmente que la implementación del microkernel es compatible con el modelo de seguridad definido por el proveedor.

Dicho modelo de seguridad contendrá suposiciones sobre el entorno y el modo de operación del software que pueden no ser compatibles con su entorno. Tomando un ejemplo diferente, cuando el objetivo de la evaluación es un sistema operativo comercial, el modelo generalmente asume que todos los operadores son benignos y que cualquier sistema remoto al que se conecte el dispositivo evaluado también será compatible con el modelo de seguridad del ToE.

¿Cómo cuantificar el 100% seguro? Ningún sistema conectado a Internet es 100% seguro. Tampoco olvidemos los errores, las vulnerabilidades, el malware, los virus, etc. ¡El único sistema 100% seguro es uno que está desenchufado y apagado!