该OKL4微内核验证已通过通用标准评估保证级别（EAL 7）最严格的。即使这并不意味着它是“安全的”、“100% 安全的”或“更安全”，它只是意味着已经正式证明了微内核的实现与供应商定义的安全模型兼容。

这样的安全模型将包含可能与您的环境不一致的软件环境和操作模式的假设。再举一个不同的例子，当评估的目标是商业操作系统时，该模型通常假设所有运营商都是良性的，并且被评估设备连接到的任何远程系统也将与 ToE 的安全模型一致。

您如何量化 100% 安全？没有任何系统连接到 Internet 是 100% 安全的。我们也不要忘记错误、漏洞利用、恶意软件、病毒等。唯一 100% 安全的系统是拔下并关闭的系统！