10.3969/j.issn.1008-0570.2008.03.057
基于Petri网的安全工作流管理系统建模
为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模.针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模.保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障.
Petri网、工作流管理系统、静态权限、动态授权.
24
TP311.5(计算技术、计算机技术)
国家武器装备预研基金
2008-04-22(万方平台首次上网日期,不代表论文的发表时间)
共3页
148-149,38