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

摘要：

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

关键词：图、图变换、访问控制、工作流

所属期刊栏目：15

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60604025;辽宁省自然科学基金资助项目20082047

在线出版日期：2009-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：925-931