法成本昂贵和不确定性，其使用受到很大限制。第一种和第三种方法会导致失败。第四种方法更具实用性，这是由于它通常基于硬件机制，避免了抽象性和自由性。设计安全系统有很多技巧和技术。但很少有有效的方法能够在设计完成后提高安全性。有一种技术能最大程度地执行最小权限原则，即一个实体只能拥有它所需要的权限。在这种方式下，即使攻击者能够进入系统的某一部分，也难以进入到其他部分。另一方面，将系统划分为小的组件可降低各部分的复杂性，并可以使用定理机器证明（automated theorem proving）来证明关键的