23、安全策略与有限域乘法的高效实现

安全策略与有限域乘法的高效实现

安全策略中的可执行义务

在安全策略的实施中，存在一些无法撤销但可补偿的操作，还有一些既无法撤销也无法补偿的操作，例如将文档发送到打印机，这些操作在事务管理系统中被称为真实操作。在事务中实施安全义务会增加真实操作的数量，因为这些操作必须包含改变人类知识状态的操作，而大多数事务管理系统并不处理这类操作。

为了实现可执行的义务，我们在访问控制框架中引入了义务概念。该框架由安全策略语言（SPL）及其编译器组成。SPL 是一种用于表达策略的安全语言，旨在决定事件的可接受性。

一个 SPL 策略由集合和规则组成，其目的是表达如“职责分离”“信息流”或“通用访问控制”等简单概念。集合包含策略用于决定事件可接受性的实体。规则是事件的函数，可能取“允许”“拒绝”和“不适用”三种值，其目的是决定当前事件的可接受性。规则可以是简单规则或复合规则。简单规则是由两个逻辑表达式组成的元组，第一个逻辑表达式决定规则的适用性，第二个逻辑表达式决定事件的可接受性。每个策略都有一个特殊规则，称为“查询规则”，其名称前有一个问号，用于定义策略行为。

例如，一个简单的策略规定，定义该策略的组织内部的文档不能发送给组织外部的人，在 SPL 中可以这样表达：

policy Private( user set OrganizationUsers ) {
    object set InternalDocs:
    // Policy data
    ?Private:
    // Rule name.
    ce.action = "SendEmail" & ce.ta