隐蔽通道和侧通道很难消除。

此外，计算机科学中的许多未解决问题都对安全性有影响。

需要正式的方式来指定软件，并且需要正式的方式来指定安全要求。

我们很难证明操作系统大小的关键程序的程序正确性，这意味着很难证明广泛使用的安全关键代码（IP 堆栈、OpenSSL）是正确的。

无法有效地检查语法中的歧义，意味着很难证明携带信息的权威只会行使预期的权威。

无法证明广泛且有趣的程序子集会停止，因此很难推断拒绝服务和资源占用。

无法静态地紧密绑定别名意味着很难静态地证明数据不会从程序的一个部分泄漏到另一个部分。