论文部分内容阅读
工作流系统中经常会发生来自系统内部人员的欺骗活动，职责分离是一种有效地防止内部欺骗的安全机制。讨论了工作流执行时的安全策略问题，给出了工作流直观的Petri网模型描述，Petri网模型清晰地刻画了工作流系统中所包含的任务以及任务与角色的对应关系。采用Prolog语言描述了工作流执行时的动态职责分离安全规则，在此基础上，运用逻辑推理的方法分析职责分离安全规则，目的是找出所有满足安全规则的有效执行链。通过分析找出所有满足安全规则的有效执行链。