基于Petri网的安全工作流管理系统建模

• 作者: 王端民 童丹 芮少辉
• 来源期刊: 科技与创新
• 关键词: Petri网 工作流管理系统 静态权限 动态授权.
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 网络与通信
• 页码范围: 148-149,38
• 页数: 3页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.03.057

摘要

为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模.针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模.保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王端民	空军工程大学工程学院装备管理工程系	22	129	7.0	9.0
2	童丹	空军工程大学工程学院装备管理工程系	2	7	1.0	2.0
3	芮少辉	空军工程大学工程学院装备管理工程系	4	14	2.0	3.0