检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于角色的工作流授权约束规格说明

计算机集成制造系统 2005年第9期11卷 1312-1318页

作者：于万钧刘大有刘全李嘉菲东北电力学院信息工程系吉林吉林132012 吉林大学计算机科学与技术学院

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态。为此,提出了一个工作流授权约束模型。该模型在工作流应用语境中定义了角色层次函数、任... 详细信息

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态。为此,提出了一个工作流授权约束模型。该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性。

关键词：工作流工作流管理系统角色授权约束

在线全文

学校读者我要写书评

暂无评论

业务流程授权约束依从性分析

计算机研究与发展 2017年第10期54卷 2404-2418页

作者：薄阳夏春和网络技术北京市重点实验室(北京航空航天大学) 北京100191 北京航空航天大学计算机学院北京100191 广西师范大学计算机科学与信息工程学院广西桂林510004

授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理:1)流程授权和非流程授权;2)业务流程任务委托;3)角色继承关系;4)职责分离和职责绑定约束;5)静态约束和动态约... 详细信息

授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理:1)流程授权和非流程授权;2)业务流程任务委托;3)角色继承关系;4)职责分离和职责绑定约束;5)静态约束和动态约束.提出授权图表示依从性分析框架,并给出授权图的构造和化简方法对授权图进行维护,然后设计了针对授权图的依从性分析算法.基于分析结果,给出了不依从授权约束的冲突模式,针对每一种冲突模式设计一组解决方案,并实现了原型系统.所提出的授权约束依从性分析框架独立于系统部署的平台,适用范围广泛.最后通过实例分析和实验验证说明了该方法的有效性.

关键词：业务流程授权约束依从性职责分离职责绑定任务委托

在线全文

学校读者我要写书评

暂无评论

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

计算机工程 2010年第4期36卷 152-154页

作者：单徐梅虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的... 详细信息

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。

关键词：授权约束基于角色的访问控制工作流 Datalog逻辑语言

工作流管理系统中基于组织结构约束的授权研究

在线全文

学校读者我要写书评

暂无评论

工作流管理系统中基于组织结构约束的授权研究

全国第16届计算机科学与技术应用（CACIS）学术会议

作者：刘建勋陈海燕湖南科技大学计算机学院

工作流过程执行需要根据组织的分工、安全及其它策略将活动授权给合适的参与者执行。为方便管理,大多数工作流管理系统均引入角色概念。但是仅有角色是不够的,它不便于有效刻画有多个部门复杂组织结构的企业级应用。本文通过一个实例工... 详细信息

工作流过程执行需要根据组织的分工、安全及其它策略将活动授权给合适的参与者执行。为方便管理,大多数工作流管理系统均引入角色概念。但是仅有角色是不够的,它不便于有效刻画有多个部门复杂组织结构的企业级应用。本文通过一个实例工作流程分析了跨部门应用的特点和组织模型的关系,建立了一个结合组织与角色的工作流授权模型,提出了基于组织结构约束的角色任务授权概念。

关键词：工作流授权授权约束角色组织

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

应用角色访问控制的工作流动态授权模型

计算机辅助设计与图形学学报 2004年第7期16卷 992-998页

作者：裘炅谭建荣张树有马晨华浙江大学CAD&CG国家重点实验室杭州310027

形式化地描述了角色、用户、权限、任务单元、授权策略、授权约束等实体及其相互间的关系 ,提出将授权约束分为需求角色约束、需求用户约束、拒绝角色约束及拒绝用户约束 ,并在此基础上建立了授权约束的冲突检测规则实现了授权流与工... 详细信息

形式化地描述了角色、用户、权限、任务单元、授权策略、授权约束等实体及其相互间的关系 ,提出将授权约束分为需求角色约束、需求用户约束、拒绝角色约束及拒绝用户约束 ,并在此基础上建立了授权约束的冲突检测规则实现了授权流与工作流的同步 ,并通过授权约束的冲突检测确保了工作流的有效执行

关键词：基于角色访问控制工作流动态授权授权约束授权约束冲突检测

在线全文

学校读者我要写书评

暂无评论

基于权限和任务的工作流授权合理性验证

计算机集成制造系统 2008年第7期14卷 1349-1355,1448页

作者：魏永合舒启林东北大学机械工程与自动化学院辽宁沈阳110004 沈阳理工大学机械工程学院辽宁沈阳110168

为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法。通过对工作流授权约束的分析,将授权约束分为针对任务和权限分派关系的权限约束,以及针对任务间职责冲突关系的任务约束和授权约束间约束传递,并在... 详细信息

为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法。通过对工作流授权约束的分析,将授权约束分为针对任务和权限分派关系的权限约束,以及针对任务间职责冲突关系的任务约束和授权约束间约束传递,并在此基础上构建了授权约束规则集对授权合理性进行验证,给出了实现工作流授权合理性验证的算法。最后,通过一个流程实例,证明了该验证方法的实用性。授权约束规则集可以验证约束的完整性和一致性,使满足此规则集的授权工作流既具有必须和足够的授权约束,又保证其每个任务都有合法的用户执行,同时该验证算法可以提高验证的效率。

关键词：工作流授权约束任务权限合理性验证算法

在线全文

学校读者我要写书评

暂无评论

基于实例分解的工作流授权合理性验证

计算机集成制造系统 2006年第5期12卷 697-701页

作者：欧阳昱刘玉树北京理工大学信息科学技术学院北京100081

为提高工作流授权合理性验证的效率,增强对执行时任务指派的支持,提出了基于问题分解的工作流授权合理性验证方法。通过基于业务实例的工作流模型分解,将工作流授权合理性问题分解为业务实例、业务实例的并发任务集合、并发任务集合中... 详细信息

为提高工作流授权合理性验证的效率,增强对执行时任务指派的支持,提出了基于问题分解的工作流授权合理性验证方法。通过基于业务实例的工作流模型分解,将工作流授权合理性问题分解为业务实例、业务实例的并发任务集合、并发任务集合中任务的授权合理性问题,得到工作流授权合理性问题的与/或树表示。利用定义的合理指派路径及其串联操作,分析了工作流授权合理性问题与/或树节点的可解性。给出了基于与/或树搜索实现工作流授权合理性验证的算法,并分析了算法的复杂度及其输出的合理指派路径对工作流执行时任务指派的支持。在与/或树基础上,通过选择合适的启发函数,可以进一步提高验证效率,或快速生成适合问题需求的最佳解树。

关键词：工作流授权约束任务指派合理性验证

在线全文

学校读者我要写书评

暂无评论

面向工作流系统的柔性策略访问控制模型

浙江大学学报（工学版） 2008年第12期42卷 2112-2120页

作者：马晨华陆国栋裘炅浙江大学工程与计算机图形学研究所浙江杭州310027 杭州电子科技大学计算机学院浙江杭州310018

针对现有的访问控制模型应用于工作流系统时的不足,提出了一个面向工作流的柔性策略访问控制模型.该模型通过引入授权许可的概念,定义了各任务执行期间各角色可被授予的权限及相应的情景约束,实现了工作流中的动态访问控制和灵活的授权... 详细信息

针对现有的访问控制模型应用于工作流系统时的不足,提出了一个面向工作流的柔性策略访问控制模型.该模型通过引入授权许可的概念,定义了各任务执行期间各角色可被授予的权限及相应的情景约束,实现了工作流中的动态访问控制和灵活的授权策略定义.为了描述工作流系统中的复杂授权规则,模型扩展了一种与授权许可相关的约束,并提供了有效的授权约束冲突检测与消解方法.分析表明模型具有良好的安全性与实用性,能较好地满足工作流系统对访问控制的需求.

关键词：工作流访问控制授权许可授权约束冲突检测与消解

在线全文

学校读者我要写书评

暂无评论

工作流系统带权角色与周期时间访问控制模型

软件学报 2003年第11期14卷 1841-1848页

作者：王小明赵宗涛郝克刚陕西师范大学计算机科学学院陕西西安710062 第二炮兵工程学院计算机科学系陕西西安710025 西北大学计算机科学系陕西西安710069

带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨... 详细信息

带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束.

关键词：工作流任务周期时间带权角色授权约束