可信计算
精心设计和实现的系统可信计算基对系统整体安全至关重要。现代操作系统努力降低TCB的大小，使得对其代码库彻底的检查成为可能（通过手工或电脑辅助软件审计()或形式化验证的方法）。