摘要
为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模。针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模。保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障。
In order to increase Workflow Management System security,we use HLPN(High-Level Petri Net) for system modeling.Aimed at different problem,we introduce Time Petri Net,Colored Petri Net and combination of them two,which assure synchronization of authorization flow and workflow,consequently provide a maximal guarantee for workflow management system.
出处
《微计算机信息》
北大核心
2008年第3期148-149,38,共3页
Control & Automation
基金
国家武器装备预研基金资助项目(编号不公开)
