小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2012年
9期
1972-1977
,共6页
安毅生%罗冰洁%赵祥模%李人厚
安毅生%囉冰潔%趙祥模%李人厚
안의생%라빙길%조상모%리인후
协作权限%赋色Petri网%活动%角色
協作權限%賦色Petri網%活動%角色
협작권한%부색Petri망%활동%각색
针对多用户环境中协作权限动态分配与回收,及可靠性验证问题,提出基于活动、角色的协作权限动态管理机制,采用赋色Petri网建立形式化模型并分析.该模型将共享的协作文档和视图空间按照活动序列划分,角色的分配、回收与活动相关联,解决了传统访问控制中授权用户对访问对象具有持久权限的问题.最后,基于状态空间的分析表明,该模型能够实现活动依赖关系,活动角色绑定可达性及协作权限申请中死锁避免等约束条件的验证,能够满足协同设计中变化频繁的协作权限访问控制需求.
針對多用戶環境中協作權限動態分配與迴收,及可靠性驗證問題,提齣基于活動、角色的協作權限動態管理機製,採用賦色Petri網建立形式化模型併分析.該模型將共享的協作文檔和視圖空間按照活動序列劃分,角色的分配、迴收與活動相關聯,解決瞭傳統訪問控製中授權用戶對訪問對象具有持久權限的問題.最後,基于狀態空間的分析錶明,該模型能夠實現活動依賴關繫,活動角色綁定可達性及協作權限申請中死鎖避免等約束條件的驗證,能夠滿足協同設計中變化頻繁的協作權限訪問控製需求.
침대다용호배경중협작권한동태분배여회수,급가고성험증문제,제출기우활동、각색적협작권한동태관리궤제,채용부색Petri망건립형식화모형병분석.해모형장공향적협작문당화시도공간안조활동서렬화분,각색적분배、회수여활동상관련,해결료전통방문공제중수권용호대방문대상구유지구권한적문제.최후,기우상태공간적분석표명,해모형능구실현활동의뢰관계,활동각색방정가체성급협작권한신청중사쇄피면등약속조건적험증,능구만족협동설계중변화빈번적협작권한방문공제수구.
