基于图的工作流访问控制模型

作者：魏永合; 王成恩; 罗小川

来源：计算机集成制造系统, 2009, (05): 925-931.

DOI：10.13196/j.cims.2009.05.95.weiyg.022

• 图
• 图变换
• 访问控制
• 工作流 graph
• graph transformation
• access control
• workflow

为了直观和准确地描述工作流访问控制,提出了一个基于图的工作流访问控制模型。使用图和图变换对模型进行形式化描述,并给出了模型应用的相关算法。在该模型中,使用类型图表示访问控制中各元素的类型信息,使用带变量规则表示系统授权状态转换,使用肯定、否定约束限制图结构,并建立了基于图的工作流访问控制授权约束和图变换规则模板。提出了基于图变换的约束一致性验证算法和使用图终止性对授权合理性验证的方法。最后,通过一个实例对模型进行了验证。