论文部分内容阅读
针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。
基于RBAC的工作流管理系统授权约束方法
【摘 要】
：
针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"
【机 构】
：
华东理工大学计算机科学与工程系,上海市计算机软件评测重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2010年04期
【基金项目】
：
国家自然科学基金资助项目(60773094,60473055);上海市曙光计划基金资助项目(07SG32)
其他文献
古典经济学的劳动价值理论是马克思劳动价值论的理论来源,作为英国古典经济学奠基者和完成者的斯密与李嘉图,对劳动价值论都有过精辟的论述,其论述对近代劳动价值理论具有深
<正>坚持用制度管权管事管人,保障人民知情权、参与权、表达权、监督权,是权力正确运行的重要保证。党的十八大报告强调,健全权力运行制约和监督体系。坚持用制度管权管事管
研究剥削的定义必须以马克思主义为指导,既要坚持马克思主义关于剥削理论的基本原理、立场、方法,又要密切联系实际,深化和拓展对马克思主义关于剥削定义的认识,使剥削定义能
<正>五十年前的1959年,在这块质朴的土地上,广西药用植物园的前身广西药物研究所试验场诞生了,我们的基本任务是种植中药材和粮食。半个世纪的变迁,广西药用植物园沿着一条艰
中澳教育存在很多差异,以澳大利亚新南威尔士大学和中国沈阳建筑大学为例,针对机械专业本科课程体系,围绕课程设置、课程群关系和实践环节三个方面,对比分析人才培养的差异与
贫穷观决定了社会救助设置的初衷与方案,社会救助的支撑形式则由公共政策的具体形态来表现。中国社会救助事业的进程可以从公共政策变迁的角度来关注和解释,而有关社会救助的
中国铁路运输是由国家垄断经营的,在考虑西方经济学的基础上,我们也应当结合中国的国情来考虑这个问题。在结合西方经济学中垄断市场上的差别定价策略的基础上,说明了春运不
基于对国内外企业文化测评理论和方法的研究,分析了目前企业文化定量测量中出现的问题,提出应采用专家评价和企业评价相结合,文献查阅、定性描述与定量研究相结合的方法来构
目的：探讨肺癌脑转移瘤使用单纯全脑放疗与联合γ-刀局部加量放疗的临床疗效差异。方法：选择60名肺癌脑转移患者,随机分为A、B 2组,每组30人,A组接受全脑照射治疗,B组接受全脑
我国古算书《孙子算经》中有题云：“今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？”我们把这类已知若干个“模”（除数）的余数，而要求适合条件的最小正整数的题目