强制存取控制(Mandatory access control)

强制存取控制是访问控制策略或要求；这不是一个正式的模型。相反，它可以通过正式模型来实现。模型是一个详细描述或实体的缩放表示; 一个正式的模型是应用数学为基础的符号和语言制定了严格的模型。
. **有限状态机(Finite state machine)**是一种常见的形式模型。
. **信息流模型(information flow model)**并不是真正的模型，而是泛指能够控制信息流的形式模型。无干扰模型(non-interference model)也是如此。但是，大多数学习指南将它们视为“模型”。这个问题遵循这个观点。
EAL 7 产品意味着它以正式设计为後盾。

-通用标准 EAL

参考
. 模型
. 形式方法
. 可信计算机系统评估标准
. 贝尔-拉帕杜拉模型
. 认证产品清单 - 统计

资料来源： Wentz Wu QOTD-20210402