27、动态事件与时空角色的访问控制模型解析

动态事件与时空角色的访问控制模型解析

动态事件驱动的分布式访问控制模型

在分布式访问控制领域，基于规则和事件的方法正不断发展。有一种事件驱动的分布式访问控制模型——DEBAC，它旨在解决传统基于角色的访问控制（RBAC）模型在分布式计算环境中的不足。

与基于Datalog的分布式访问控制语言相比，DEBAC具有更强的表达能力。基于Datalog的语言采用单调语义，不太适合表示动态变化的分布式访问请求策略，而DEBAC则能很好地应对这种动态变化。

在时间相关的访问控制研究中，如时间角色访问控制（TRBAC），虽然与DEBAC都关注变化和事件的概念，但TRBAC主要关注简单的时间/时钟事件，而DEBAC模型除了时钟事件外，还能表示任意数量的特定应用事件，如注册、通过考试等。另外，一些工作使用事件表达式来触发角色的启用和禁用，但这些工作基于的RBAC模型与DEBAC有很大不同，并且为了确保语义的一致性，还对语言施加了语法限制，而DEBAC则无需这样的限制。

同时，DEBAC与主动规则系统也有所不同。主动规则系统同样基于规则和事件的概念，但除非施加一些严格的语法约束，否则无法为证明访问控制策略的属性提供足够的语义基础，而DEBAC则具备良好定义的声明式语义。

DEBAC模型以事件为基本概念，而非角色。它具有以下特点：
- 便于自主更改访问控制策略要求。
- 能够证明DEBAC策略的各种属性，这些属性直接源于DEBAC策略规范的语法。
- 可以使用正确的操作方法来评估用户的访问请求，并且不需要像其他访问策略规范语言那样对信息进行语法限制。

为了实现分布式访问控制，DEBAC引入了分布式项重写系统。 <