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

作     者：薄阳 夏春和 Bo Yang;Xia Chunhe

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

基　　金：国家自然科学基金联合基金项目(U1636208) 中航工业产学研项目(CXY2011BH07)~~ 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2017年第54卷第10期

页      码：2404-2418页

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

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

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 081203[081203] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7544/issn1000-1239.2017.20170397

馆 藏 号：203277865...