一种工作流安全策略分析方法

摘要：

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

关键词：工作流、Petri网、职责分离、安全策略、死锁

所属期刊栏目：45

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划基金项目2001AA142110

在线出版日期：2008-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：967-973