14、实现基于属性的访问控制（ABAC）挖掘中的信息流控制

实现基于属性的访问控制（ABAC）挖掘中的信息流控制

1. 引言

信息流动控制（IFC）对于确保系统中无信息泄露，且所有访问都符合预期的安全要求至关重要。这需要分析访问策略所允许的信息流。然而，ABAC 策略通常庞大且复杂，它们是根据属性值而非身份来定义的，可能存在多个具有大量可能值的属性，这使得分析 ABAC 策略变得极具挑战性。本文提出了一种优雅的方法来解决这个问题，即在策略创建阶段确保信息流安全，从而消除复杂的策略分析需求。

2. 动机

ABAC 具有适合大多数现代系统的多个特性，但它未关注 IFC，而 IFC 是可靠安全的重要安全要求之一。下面通过一个简单示例来说明。

假设有一个系统，包含两个用户 u1、u2 和两个对象 o1、o2。用户有一个用户属性 uatt1，对象有两个属性 oatt1、oatt2。用户和对象的属性值分别如下表所示：

用户	uatt1
u1	uv1
u2	uv2

对象	oatt1	oatt2
o1	ov1