加密和解密密钥可相互推导或一致，由通信算法协商解决，其算法的安全性完全依赖于密钥的保护。

详细描述系统中安全相关的方面；描述安全相关模块之间的关系；提出指导设计的基本原理；提出开发框架和层次结构。

操作系统的可信内核。是实现访问监控器的一种技术。不允许有任何绕过安全内核存取控制检查的存取行为存在。

保持自身完整性；程序对资源的引用应得到验证机制的仲裁；保证引用验证机制的实现是正确和符合要求的。

Tmach/ASOS/SOFTOS等。

操作系统源代码中内置了特定的安全策略，通过一些设置，使操作系统更安全。