多级安全工作流授权模型.PDFVIP

第 卷 第 期 华 中 科 技 大 学 学 报（自然科学版） # 19-’ O9’# 年 月 （ ） !! # P’2.3:894 Q40R’9KC0’S F=C8’O3,./=KC0=4C=T0,094 P34’ !! 5 多级安全工作流授权模型 洪 帆 李 静 （华中科技大学计算机科学与技术学院） 摘要：论述了用于工作流管理系统中的工作流授权模型 针对工作流在多级安全环境下的应用，提出了一种 ! 多级安全工作流授权模型 模型增加了安全级及任务相关性的表示，对原模型的授权规则进行了改造 提出了 ! ! 判断可达性的算法，对新模型的终点是否可达进行了分析! 关 键 词：工作流；多级安全；授权；相关性；可达性 中图分类号： 文献标识码： 文章编号： （ ） FG( + #E*#$)H#!!!#$!$ 目前，工作流管理系统 （ ）作为协调 系统首先授权给销售部人员进行相关活动，在核 6IJK 信息资源与人力资源的手段越来越受到研究机构 实订单及检查货款已到公司后，销售部将开出一 与产业界的重视 等提出了一种实现动态 张提货单，以提货单的形式授权给储运部从仓库 ’+,-./0 ! 中提取提货单上所标明的商品，提出了所有商品 授权的工作流授权模型 （ ），该模型能够根 6+J 据任务的执行情况动态地授予相关权限，但该模 后该提货单失效，由储运部发出发货单，授权货运 型无法适应多级安全需求 部将商品送至客户手中 上述情况的授权流必须 ’ ! 本文在研究了6+J 的基础上，提出了一种 与工作流进程同步，从而保证权限的实时授予与 新的授权模型 多级安全工作流授权模型 （ 撤销! $ JLK 6+J），文中对模型进行了描述及分析’ 根据6+J，一个工作流是一个任务偏序集， 即 ｛ ， ，…， ｝，对任务的授权通过 # M # ! $ 工作流授权模型 授权模版 （ ）来实现 它形式化定义了任务、 ! % ! 授权模版和授权，另外还制定了权限授予与撤消 通常，一个工作流由若干个完成独立功能的 规则! 任务构成，这些任务相互联系，具有一定的相关