基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法.通过对工作流授权约束的分析,将授权约束分为针对任务和权限分派关系的权限约束,以及针对任务间职责冲突关系的任务约束和授权约束间约束传递,并在此基础上构建了授权约束规则集对授权合理性进行验证,给出了实现工作流授权合理性验证的算法.最后,通过一个流程实例,证明了该验证方法的实用性.授权约束规则集可以验证约束的完整性和一致性.使满足此规则集的授权工作流既具有必须和足够的授权约束,又保证其每个任务都有合法的用户执行,同时该验证算法可以提高验证的效率.
推荐文章
基于Petri网化简技术的工作流模型合理性验证
Petri网
工作流
合理性
模型化简
基于扩展任务结构的工作流建模及其合理性验证
工作流建模
扩展任务结构
合理性验证
改进的工作流合理性验证方法
工作流
合理性
Petri
逻辑推导
真值表
应用角色和任务访问控制的工作流动态授权模型
职责分离
访问控制
最小权限
动态授权
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于权限和任务的工作流授权合理性验证
来源期刊 计算机集成制造系统 学科 工学
关键词 工作流 授权约束 任务 权限 合理性 验证算法
年,卷(期) 2008,(7) 所属期刊栏目 论文
研究方向 页码范围 1349-1355,1448
页数 8页 分类号 TP309
字数 7897字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 舒启林 沈阳理工大学机械工程学院 87 334 9.0 12.0
2 魏永合 东北大学机械工程与自动化学院 33 151 6.0 10.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (8)
共引文献  (12)
参考文献  (5)
节点文献
引证文献  (5)
同被引文献  (0)
二级引证文献  (0)
1981(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(3)
  • 参考文献(1)
  • 二级参考文献(2)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
工作流
授权约束
任务
权限
合理性
验证算法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机集成制造系统
月刊
1006-5911
11-5946/TP
大16开
北京2413信箱34分箱
82-289
1995
chi
出版文献量(篇)
6201
总下载数(次)
22
总被引数(次)
127830
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导