微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2008年
3期
148-149,38
,共3页
Petri网%工作流管理系统%静态权限%动态授权.
Petri網%工作流管理繫統%靜態權限%動態授權.
Petri망%공작류관리계통%정태권한%동태수권.
为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模.针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模.保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障.
為增彊工作流管理繫統的安全性,本文使用高級Petri網對工作流過程進行建模.針對不同的安全問題,分彆引入時間Petri網、有色Petri網和有色時間Petri網進行建模.保證瞭授權流和工作流的同步,滿足最小特權原則,給工作流管理繫統提供瞭最大的安全保障.
위증강공작류관리계통적안전성,본문사용고급Petri망대공작류과정진행건모.침대불동적안전문제,분별인입시간Petri망、유색Petri망화유색시간Petri망진행건모.보증료수권류화공작류적동보,만족최소특권원칙,급공작류관리계통제공료최대적안전보장.
