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

薄 阳 夏春和,3

1(网络技术北京市重点实验室(北京航空航天大学) 北京 100191) 2(北京航空航天大学计算机学院 北京 100191) 3(广西师范大学计算机科学与信息工程学院 广西桂林 510004) (cseby@buaa．edu．cn)

2017-06-05；

2017-07-29

国家自然科学基金联合基金项目(U1636208)；中航工业产学研项目(CXY2011BH07) This work was supported by the Joint Funds of National Natural Science Foundation of China (U1636208) and the Special Project on the Integration of Industry, Education and Research of the Aviation Industry Corporation of China (CXY2011BH07).

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

薄 阳1,2夏春和1,2,3

1(网络技术北京市重点实验室(北京航空航天大学) 北京 100191)2(北京航空航天大学计算机学院 北京 100191)3(广西师范大学计算机科学与信息工程学院 广西桂林 510004) (cseby@buaa．edu．cn)

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

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

业务流程是指为特定用户提供特定服务或者产品的一组相关的结构化的任务.为了保证这些服务和产品是用户所需要的，业务流程经常要……