安全-强制访问控制(os-0854291c)
When to use
任务「强制访问控制」;对照:OS 安全——MAC 强制访问控制(安全标签规则,未授权默认拒绝)。
克制条款(不适用条件)
条件不满足即不适用(负路由:输入不满足生效条件时返回 None/不执行)
How to execute
MAC 强制访问控制:标签对操作授权(安全标签规则表——强制策略)
Verification
- 单元样例 3 条(cases 断言)
- 物理基底:按 calibration 对照(编译/运行/断言裁决)
References
- 单元库:os_units.py「安全-强制访问控制」