西安交通大学学报
西安交通大學學報
서안교통대학학보
JOURNAL OF XI'AN JIAOTONG UNIVERSITY
2012年
12期
85-91
,共7页
翟治年%奚建清%卢亚辉%郭玉彬
翟治年%奚建清%盧亞輝%郭玉彬
적치년%해건청%로아휘%곽옥빈
访问控制%工作流%任务状态%角色%有色Petri网
訪問控製%工作流%任務狀態%角色%有色Petri網
방문공제%공작류%임무상태%각색%유색Petri망
针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.
針對現有主動訪問控製模型中授權流與工作流同步粒度不夠精細的問題,提齣一種任務狀態敏感的訪問控製模型.根據任務實例的不同狀態對多箇執行角色進行差異化授權,施加相應的職責分離約束,併給齣一種有色網倣真分析方法.概唸模型可以優化工作流中的數據利用,充分增彊業務中的角色協作.倣真分析方法可跟蹤工作流執行時的安全狀態,併髮現潛在的死鎖問題.通過一箇軟件工作流驗證瞭其協作與訪問控製概唸的可行性及其分析方法的有效性.
침대현유주동방문공제모형중수권류여공작류동보립도불구정세적문제,제출일충임무상태민감적방문공제모형.근거임무실례적불동상태대다개집행각색진행차이화수권,시가상응적직책분리약속,병급출일충유색망방진분석방법.개념모형가이우화공작류중적수거이용,충분증강업무중적각색협작.방진분석방법가근종공작류집행시적안전상태,병발현잠재적사쇄문제.통과일개연건공작류험증료기협작여방문공제개념적가행성급기분석방법적유효성.