39、动态职责分离约束与协作环境下可用访问控制

动态职责分离约束与协作环境下可用访问控制

动态职责分离约束的动态执行

在动态职责分离约束的研究中，涉及到三种关键的进程，它们相互协作并各自执行相应的策略。
- 进程概述 ：W 用于形式化工作流模型，RBAC 对可能变化的访问控制策略进行形式化，而 SODφ(UA) 则在考虑角色分配变化的情况下，对职责分离（SoD）策略进行形式化。
- 从进程到执行监控器 ：CSP 的操作语义将进程解释为标记转换系统（LTS）。可以直接将 LTS 转换为一个程序，该程序只允许执行进程所定义的操作，从而构成了对进程所指定策略的执行监控器，类似于安全自动机。映射可能会产生非确定性进程，但可以对相应的 LTS 进行确定性处理，或者执行监控器可以在每次转换后跟踪可达状态集。
- SoD 安全进程 ：一个 SoD 安全进程是三个子进程的并行执行，每个子进程负责特定任务。由于 CSP 的 || 运算符具有结合性，这三个进程可以以任意顺序组合。这些进程同步的事件集定义了每个进程参与的事件类型，因此这三个进程的任何子集都可以映射到一个执行监控器，与其余进程同步的事件集指定了监控器的接口。例如，如果系统已经有了工作流引擎和访问控制执行监控器，那么只需为 SoD 执行进程生成一个执行监控器，并将所有业务和管理事件与现有组件同步即可。

相关工作比较

相关工作	特点	局限性