基于RBAC的工作流管理系统授权约束方法

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ｌ概述
目前，基于角色的访问控制（ｏｅａｅｃｅｓＣｎｒｌＲｌ— ｓｄＡｃｓｏｔ，ＢｏＲＡ）ＢＣ模型仍是工作流管理系统访问控制的主要模型。约束是访问控制技术中的一个重要方面，从某种意义上是提出
访问控制模型的原动力。对约束的研究最早可以追溯到１８９９年，其后，文献【Ｊ２提出了一种在ＷＦＭＳ中对角色和用户任务指派的约束规则
ＲＲｘＨＲ是上的一个偏序关系，称作角色层次或角色支配关系，用 “ ”表示。如果尸 ‘ ＣＰｒ，则定义 ‘ ２＜（）７（）．２＜ｒ；若
ＰＰｒ，贝定义 ≤ ｒ。（）（）０２２
定义２函数ＲｌＴ：｛（’ ）ｒ）Ｔ］，ｏｅ￣ｒ３ｒ≥ｒ［ ’ ∈ＲＡ｝返回任务授权权限（）ｌ（，时允许授权的角色集合；
［ｙｗｏｄ］ａｔｏｉａｏｏｓａｎ；ｏｅＢｓｄｃｓＣｎｒｌＡＣ；ｏｋｌｗ；ａａｏｇｃｇａｅＫｅｒｓｕｒｔｎｃｎｔｉｔＲｌ— ａｅｅｓｏｔ（ｈｚｉｒＡｃｏＲＢ）ｗｒｆｏＤｔｇｌｉｌｕｇｌｏａａｌｎ
第３６卷第４期
Ｖ１６ｏ．３
・
计
算
机
工
程
２１年２００月
Ｆｂｕｒ０１ｅｒａｙ２０
பைடு நூலகம்
＾．４
ＣｏｐｔｒＥｎｉｅｒｎｍｕｅｇｎｅｉｇ
安全技术・
文章缡号：００４８ｏ０４＿ｌ２．３文献码ｔ１ｏ—３（ｌ）．ｏ５．ｏ２２ｏ标识Ａ
Ｕｅ（）ＵＩｒ≥‘［，’ Ｒ】，返回指定给角色的ｓｒｒ＝｛（ ’ ）Ｈｒ ∈ＵＡ｝ｉ３（）用户集合；Ｕｅ（）ｓｒｉ＝／３ ’ ）“ｒ ∈ＵＡ｝ｓｒｉ＝Ｕｅ（ｒｕ（ｒ≥ ［，５Ｒ］，返回指ＴＴ）Ｊ（定给任务的用户集合；
关黼：授权约束；基于角色的访问控制；工作流；ａｌ逻辑语言Ｄｔｏａｇ
Ａｕｔｒｚｔ０ＣｏｓｒｉｅｈｏｈｏｉａｉｎｎｔａｎｔＭｔｄ
ｉｏｋｏＭａａｅｅｔｙｔｍｓＢａｅｎＲＢＡＣｎＷｒｆｗｎｇｍｎｓｅｓｄ０ｌＳ
ＳＨＡＮｍｅＹＵＩｑＸｕ－ｉ．ＨＩ．ｕｎｉ（．ｐｒｎｆｏｕｅｃｎｅａｄＥｇｎｅｎ，ａｔｈｎｉｅｓｙｏｃｅｃｄｅｈｏｏｙＳａｇａ２０３；１ＤｅａｔｔｍｐｔｒｉｃｎｉｅｒｇＥｓＣｉａＵｎｖｒｉｆｉｅｎｃｎｌ，ｈｎｈｉ０２７ｍｅｏＣＳｅｎｉｔＳｎａＴｇ２ＳａｇａＫｙＬｂｒｔｒｆｍｐ￣ｒｏｔｒｖｌａｎｄｅｔｇＳａｇａ０１２．ｈｈｉｅａｏａｙｏＣｏｕｆｎｏＳｗａｅａｕｔｇａＴｓｎ，ｈｎｈ２１１）Ｅｉｎｉｉ
中 ■分类．．９号ｔＩ３１０
基于ＲＡ的工作流管理系统授权约束方法ＢＣ
单徐梅Ｉｔ虞慧群
（．１华东理工大学计算机科学与工程系，上海２０３；．０２７２上海市计算机软件评测重点实验室，上海２１１）０１２擅要：针对工作流管理系统动态授权的特性，在基于角色的访问控制（ＢＣ模型基础上，提出一种权限约束支持的ＲＡＲＡ）ＢＣ模型，利用Ｄｔｏ逻辑语言描述约束策略，借助Ｄｔｏ推理机实现一个 “ 务角色”分配的授权算法，解决工作流管理系统动态授权约束的问题。ａｌａｇａｌａｇ任
［ｓｒｃｌｏｓｔｆｙａｃｕｈｒａｏｆｒＦｏｎａｅｎｙｔＷＦ）ｔｉｐｐｒｒｐｓｓｌＢｓｄＡｃｓｏｔｌＢＡＡｂｔａｔＴｉｙｄｎｍｉｔｏｉｔｎｏＷｏｋｌｗＭａｇｍｅｔｓｍ（ＭＳ，ｈｓａｅｏｏｅＲｏｅａｅｃｅｓｎｒ（Ｃ）ａｓａｚｉＳｅｐａ — ＣｏＲ
ｍｏｅｔｓｐｏｔｕｈｒｚｔｎｃｎｔａｎ．ｎｔｉｄｌａｈｏｉａｉｎｃｎｓｒｉｔｍｏｅｏＦＳｉｐｃｆｅｙＤａａｏｏｉａａｇａｅａｄｄｌｈａｕｐｒｓａｔｏａｏｏｓｒｔＩｈｓｍｏｅ，ｕｔｒｚｔｏｏｔｎｄｌｆｒＷＭｓｓｅｉｄｂｔｌｇｌｇｃｌｎｕｇｎｔｉｉｉａｉｌａｕｏｉａｏｌｏｉｈｉｍｐｅｎｓｎｔｌｇＳｄｃｓｏ，ｍａｉｇｍｅｈｎｓ．ＷＦＳＳｄｎｍｉｏｓｒｉｅｕｈｒｚｔｎｐｏｌｍｓｎａｔｒｚｔｎａｇｒｔｍｓｉｌｍｅｍｄｕｉｇＤａａｏ ’ ｅｉｉｎｈｉｋｎｃａｉｍｓＭ ’ ｙａｃｃｎｔａｎａｔｏｉａｏｒｂｅｉｄｉｓｌｅｗｉｈｔｅｍｅｏ．ｏｖｄｔｔｄｈｈ