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

• 作者: 王成恩 罗小川 魏永合
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 图 图变换 访问控制 工作流
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 论文
• 页码范围: 925-931
• 页数: 7页
• 分类号: TP309
• 字数: 6790字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王成恩	东北大学教育部流程工业综合自动化重点实验室	60	1063	19.0	30.0
2	罗小川	东北大学教育部流程工业综合自动化重点实验室	20	83	6.0	8.0
3	魏永合	沈阳理工大学机械工程学院	33	151	6.0	10.0