检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]华东理工大学计算机科学与工程系,上海200237 [2]上海市计算机软件评测重点实验室,上海201112
出 处:《计算机工程》2010年第4期152-154,共3页Computer Engineering
基 金:国家自然科学基金资助项目(60773094;60473055);上海市曙光计划基金资助项目(07SG32)
摘 要:针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。To satisfy dynamic authorization of WorkFlow Management System(WFMS), this paper proposes a Role-Based Access Control(RBAC) model that supports authorization constraint. In this model, authorization constraint model for WFMS is specified by Datalog logical language and an authorization algorithm is implemented using Datalog's decision, making mechanisms. WFMS's dynamic constrained authorization problem is solved with the method.
关 键 词:授权约束 基于角色的访问控制 工作流 Datalog逻辑语言
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.70