%0 Journal Article %T 面向企业级流程的职责分离框架及其冗余分析 %A 翟治年 %A 卢亚辉 %A 奚建清 %A 赵铁柱 %A 汤德佑 %A 顾春华 %J 电子学报 %P 2087-2093 %D 2013 %R 10.3969/j.issn.0372-2112.2013.10.033 %X 为企业级工作流授权机制定义了多维可泛化的职责分离框架,能够对团队任务涉及的多种分工形式进行深入全面的限制.系统分析了框架中的约束覆盖规则,并证明其正确性和完备性,为约束管理自动化奠定了基础.作为应用,根据规则给出了冗余动态约束的检测算法.最后通过案例研究验证了模型特性. %K 访问控制 %K 任务 %K 角色 %K 细粒度职责分离 %K 冗余约束 %U http://www.ejournal.org.cn/CN/abstract/abstract7713.shtml