摘要：
基于角色的访问控制模型 ⟨𝑈 , 𝑆,𝑂,𝑂𝑝, 𝑅, 𝑃𝐸𝑅𝑀𝑆, 𝑅𝐻,𝑈𝐴, 𝑃𝐴,𝐶⟩ U:用户集 S：会话集 O：资源集 Op:操作集 R:角色集 PERMS:OxOp:权限集 RH:RXR(是 𝑅 的偏序，表示角色的层次结构，其中 (𝑟1, 𝑟2 阅读全文
摘要：
毕巴模型用完整性级别来对完整性进行量化描述。 设i1和i2是任意两个完整性级别，如果完整性级别为i2的实体比完整性级别为i1的实体具有更高的完整性，则称完整性级别i2绝对支配完整性级别i1，记为：i1 < i2 “写”和“执行”操作（规则1） ① 当且仅当i(O) ≤ i(S)，主体S可以写客体O 阅读全文
摘要：
Bell-LaPadula模型侧重于数据的保密性和对机密信息的受控访问 基于状态机，该状态机在一个计算机系统中具有一组允许的状态，并且从一个状态到另一种状态的转换由状态转移函数定义。 该模型定义了一个自主访问控制 (DAC) 规则和两个强制访问控制 (MAC) 规则，具有三个安全属性： 简单安全属性 阅读全文