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