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

• 作者: 刘道斌 白硕 郭莉
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 工作流 Petri网 职责分离 安全策略 死锁
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 可信计算
• 页码范围: 967-973
• 页数: 7页
• 分类号: TP393.08
• 字数: 5952字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白硕	中国科学院计算技术研究所信息智能与信息安全中心	50	2124	21.0	46.0
2	郭莉	中国科学院计算技术研究所信息智能与信息安全中心	64	788	14.0	26.0
3	刘道斌	中国科学院计算技术研究所信息智能与信息安全中心	7	145	6.0	7.0