期刊文献+

多级安全工作流授权模型 被引量:4

Authorization model for multilevel security workflow
下载PDF
导出
摘要 论述了用于工作流管理系统中的工作流授权模型 .针对工作流在多级安全环境下的应用 ,提出了一种多级安全工作流授权模型 .模型增加了安全级及任务相关性的表示 ,对原模型的授权规则进行了改造 .提出了判断可达性的算法 。 This paper briefly describes the workflow authorization model for workflow management system, and presents authorization model for a multilevel security workflow in the multilevel secure environments. The model adds the presentation of security level and task dependence and reforms the authorization rule for the improved model. An algorithm to detect the accessibilities of terminal nodes is also put forward.
作者 洪帆 李静
出处 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第1期20-22,共3页 Journal of Huazhong University of Science and Technology(Natural Science Edition)
关键词 多级安全 相关性 可达性 工作流管理系统 工作流授权模型 授权规则 安全级别 workflow multilevel security authorization dependence accessibility
  • 相关文献

同被引文献17

  • 1杨家海,王继龙.基于工作流技术的网络管理体系结构[J].微电子学与计算机,2005,22(2):1-5. 被引量:10
  • 2Workflow Management Coalition.Workflow security consideration.WFMC-TC-1019,1998
  • 3Sejong Oh,Seog Park.Task-role-based access control model.Information Systems,2003,28(6):533~562
  • 4Myong H Kang,et al.A multilevel secure workflow management system.In:Proceedings of the 11th Conference on Advanced Information Systems Engineering Heidelberg,Germany,1999
  • 5Dong Xin,Chen Gang,Yin Jianwei,et al.Petri-net-based context-related access control in workflow environment[C]//Proceedings of the 7th International Conference on Computer Supported Cooperative Work in Design.New York:IEEE Press,2002:381-384.
  • 6Knorr K.Dynamic access control through petri net workflows[C] // Proceedings of the 16th Annual Computer Security Applications Conference.New Orleans:IEEE CS Press,2000:159-167.
  • 7Knorr K.Multilevel security and information flow in petri net workflows[J].Journal of Computer Security,2001,9(2,3):130-140.
  • 8Bell D,Lapadula L.The Bell-Lapadula model[J].Journal of Computer Security,1996,4 (2,3):239-263.
  • 9Murata T.Petri nets:properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580.
  • 10Girault C,Valk R.Petri nets for system engineering:a guide to modeling,verification and application[M].Berlin:Springer-Verlag,2003.

引证文献4

二级引证文献14

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部