基于着色Petri网的GEO-RBAC策略验证.pdfVIP

∞I_§}川 系统仿真学报0 圳№…- !竺_!!’! !!!竺!!竺!!!堡竺!!竺!!!!!!! !些竺!： 基于着色Petri网的GE0．RBAc策略验证 封富君22．林闭1，孛俊山‘ ‘l M*t口l#m州#‘J＆*《．n月】“W】¨：2*≈^l#’≈【}∞W§．“女，1f牌¨ 接要-GE0，RBAc是一种能够≈理空日信錾的访问程制襄略．其角色控熙短度分为角色模式和 角芭宾制+拄照堆袭分为z日自色和非空问自色基于窑例的角色争配与传耋乇RBAc轻略差似 使用着色Petd一对GEo．RBAc中基于模式曲庸包分毫进行建橇．并培出了可速性舟析方法，暹 过时南色分配事件目可连状盎的分折宴现了GE0．RBAf襄喀曲一重性瞥证． 美健诃：着色睢讥目：GE0RBAc．麓略，验证 s】，0118，06 中圈分类号：冲303吣 文献括识码：A 文章编号：l【x)4．73lxc2007I Verincation0fGEo．RBACPoIicvBasedonColoredPetriNet FENGFM J…hnrr f矾。，uNchwd吲u fl clIl吐． I)cp…¨“n，1p“旧sc}cn∞划k}哪I‘％y～nghuautⅢ、哪B。u。1{州184 2眦p删Ⅱ“。P“【crs眦Ⅱcc∞dkhnol‘《*nlcscc。n㈨¨}洲F“g…n“Pctmg。Xl∽71帅∞c力… Abstract：GE0一RBACcaIldeaJ Inn删10nm RBAcc帅k ln㈣k poIlcy wlm‘阻吡l RolbGE0 cln*l雠d sch…s andmle Jsm…∞co蛐雌mg肿ulantMor‘paLlaJml…ndnon一”mIalmI㈨comlogtod哪enslon’rhem}…slg…n【 l…xt如‘c1cveJ“s】mll“roIha{m【h f拒mk If划luona|RBAC“…Dkn0PF㈨㈣…池口C刑mD出，mr F眦kvcf．口nd k5l Hss[zHⅣ}enf…h xIve{h ro，”口k”lh…n513l}ncY Fneff¨)d㈣Ⅵf…h一…enc^曲l“lv．df v}r濞cd{…4thGEo壤B^cPo|”lhmu啦聃oi，zI^R|h㈣h曲ll时时m…，”印otld“so…删8mph Keywor出：C010md＆mNet，GE旺R且^C．口，¨cy．venn咖n 另外，着色网模型发生变化时．小会影响现有的着色阿结构 鄂专系统的某局部发生变化时，1i食影响到阿的其他部 访问拄制是通信系缱中坝重要的技术．可以对系统中 讣．表现出良好的稳定1F}|。 刷，、访目数据或资源进行最制．阻止用，，的非法访蝴，提搿 Pe嫡网在信息系统中的厦用根r。泛，使刚PemIq可“ 系统凹宜垒性。基于角色的访问拄制fRokB#邮A…对访问控制进行捕进年“分析．如文献f5—7j对T作流中曲访问 conⅡoI，RBAc)技