互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于模型检测的工作流访问控制策略验证.陈 妍 唐成华 吴 丹


  摘 要:访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。

  关键词:工作流; 访问控制策略; 策略验证; 模型检测

  中图分类号:TP393.08

  文献标志码:A

  文章编号:1001-3695(2010)02-0692-05

  doi:10.3969/j.issn.1001-3695.2010.02.080

  Validation of access control policies of workflow managementsystem based on model checking

  CHEN Yan1, TANG Cheng-hua2, WU Dan1

  (1.Laboratory for Computer Network Defence Technology, Beijing Institute of Technology, Beijing 100081, China

  ; 2.School of Computer & Control, Guilin University of Electronic Technology, GuilinGuangxi 541004, China)

  Abstract:The validity of access control policies seriously affects the safe and stable operation of the workflow management system. To deal with this problem, this paper presented a validation method of access control policies of the workflow management system based on the model checking. On the basis of the establishment of the access control policy model and the task permission state of the subjects of the workflow management system the effectiveness of policies were validated. The experiments show that the algorithm is effective and rational, and provides a new solution to validate the access control polices.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017