




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、ΪÁËÓÐЧ¹ÜÀíÔÆϵͳ¼ä¿çÓò»¥²Ù×÷Öа²È«²ßÂÔµÄʵʩ£¬Ìá
2、³öÒ»ÖÖÊÊÓÃÓÚÔƼÆËã¼ÆËã»úÍøÂç»·¾³µÄ¶àÓò°²È«²ßÂÔÑéÖ¤
3、¹ÜÀí¼¼Êõ¡£Ê×ÏÈ£¬Ñо¿ÁË°²È«»¥²Ù×÷»·¾³µÄ·ÃÎÊ¿ØÖƹæÔò
4、ºÍ°²È«ÊôÐÔ£¬Í¨¹ý½ÇÉ«²ã´Î¹ØϵÇø·ÖÓòÄÚ¹ÜÀíºÍÓò¼ä¹ÜÀí
5、£¬ÐÎʽ»¯¶¨ÒåÁË»ùÓÚ¶àÓòµÄ½ÇÉ«·ÃÎÊ¿ØÖÆ(domRBAC)Ä£ÐͺͻùÓÚ¼Æ
6、03;ãÊ÷Âß¼(CTL)µÄ°²È«ÊôÐԹ淶Æä´Î£¬¸ø³öÁË»ùÓÚÓÐÏòͼµÄ½ÇÉ
7、1;¹ØÁªÓ³ÉäËã·¨£¬ÒÔʵÏÖdomRBAC½ÇÉ«²ã´ÎÍÆÀí£¬½ø¶ø¹¹Ôì³öÁËÔÆ
8、76;²È«²ßÂÔÑéÖ¤Ëã·¨¡£ÐÔÄÜʵÑé±íÃ÷£¬¶àÓò»¥²Ù×÷ϵͳµÄÊô
9、08;ÔÑé֤ʱ¼ä¿ªÏú»áËæ×Åϵͳ¹æÄ£µÄÀ©´ó¶øÔö¼Ó¡£¼¼Êõ²ÉÓÃ
10、82;à½ø³Ì²¢Ðмì²â·½Ê½¿É½«ÊôÐÔÑé֤ʱ¼ä¼õÉÙ78.0%¡«86.3%70.1%¡«88.5%²ÉÓÃÆ&
11、#189;¾ùÖµ±íÊöÓÐÎÊÌ⣬¸ù¾Ý±í2µÄÃèÊö£¬ÏÖÔÚ¸ÄΪÕâÑù£¬ÊÇ·ñ·
12、ûºÏ±í´ï?ÇëÃ÷È·¡££¬ÆäÄ£ÐÍÓÅ»¯¼ì²âģʽÏà±ÈÕý³£Ä£Ê½µÄÊ
13、;±¼äÕÛÏß²¨¶¯¸üС£¬ÇÒÔÚ´ó¹æģϵͳÖеÄʱ¼ä¿ªÏúÒªÃ÷ÏÔµ
14、;ÍÓÚÕý³£Ä£Ê½¡£¸Ã¼¼ÊõÔÚ¹æÄ£½Ï´óµÄÔÆϵͳ°²È«»¥²Ù×÷Öо
15、;ßÓÐÎȶ¨ºÍ¸ßЧÂʵÄÊôÐÔÑéÖ¤ÐÔÄÜ¡£¡¡¡¡¡¡¡¡0ÒýÑÔ¡¡¡¡ÔÆ
16、8;ÆËã(Cloud Computing)ÊÇÒ»ÖÖ»ùÓÚÒòÌØÍøµÄÈ«ÐÂÉÌÒµ¼ÆËãģʽ£¬Í¨¹ý¹ã·º
17、;µÄÍøÂç´ø¿í½ÓÈë¼¼ÊõΪ¸÷ÀàÓû§Ìṩ¶à×⻧¡¢¿ÉÀ©Õ¹¡¢µ¯
18、;ÐÔ¡¢°´ÐèÖ§¸¶ÒÔ¼°¿ÉÅäÖõÄ×ÊÔ´£¬ÒòÉÌÒµ¾¼ÃЧÒæµÄÇý¶¯
19、;µÃµ½Ñ¸ËÙ·¢Õ¹1¡£½üÄêÀ´£¬¸÷ÖÖÔƼÆËãϵͳ²ã³ö²»Ç¹«Ó
20、8;ÔÆ¡¢Ë½ÓÐÔÆ¡¢»ìºÏÔÆ¡¢ÉçÇøÔÆ2µÈ£¬È»¶øËüÃÇ´ó¶àÊÇÓнçµ
21、96;µ¥ÍйÜÓòϵͳ£¬Ëæ×Å¿çÓòÐÔ¡¢¶¯Ì¬ÐÔ×ÊÔ´·ÃÎʺÍÊý¾Ý¹²Ï
22、37;ÐèÇóµÄÀ©´ó£¬»ùÓÚ¶à¹ÜÀíÓòÐ×÷µÄÔÆϵͳ°²È«²ßÂÔµÄʵÊ
23、69;³ÉΪĿǰ¹¤Òµ½çºÍѧÊõ½çµÄ¹Ø×¢Èȵã3¡£ÔÚÔƼÆËãϵͳµÄ¶
24、224;ÓòÐ×÷Ñо¿ÁìÓò£¬ÈçºÎʵÏÖ·ÃÎÊ¿ØÖÆ¡¢ÈçºÎÈ·±£¿çÓò»¥²
25、217;×÷µÄ°²È«ÐÔÒÔ¼°ÈçºÎÀûÓÃÄ£Ðͼì²â¼¼ÊõÑéÖ¤°²È«²ßÂÔ£¬Ê
26、199;3¸ö»ù±¾ÎÊÌâ¡£ÓÉÕâ3¸ö»ù±¾ÎÊÌâÑÓÉì³ö3¸öÖØÒªµÄÑо¿·½Ïò£
27、;¬¼´·ÃÎÊ¿ØÖÆ¡¢°²È«»¥²Ù×÷ºÍÄ£Ðͼì²â¡£¡¡¡¡ÔÚ·ÃÎÊ¿ØÖÆ·
28、;½Ã棬ĿǰµÄÖ÷Á÷·½°¸ÊÇ»ùÓÚ½ÇÉ«µÄ·ÃÎÊ¿ØÖÆ(RoleBased Access Control£¬ RBAC)Ä£Ð
29、5;¡£ÎÄÏ×4Ö¸³öRBACÖ§³Ö¶àÖÖ·ÃÎÊ¿ØÖƹæÔò£¬¾ßÓкܺõÄÄ£ÐͳéÏ
30、;óºÍ¸ÅÀ¨ÄÜÁ¦¡£ÎÄÏ×5-6ÈÏΪRBACÖнÇÉ«¡¢Óû§È¨ÏÞµÄÓ³Éä¹ØϵÓ
31、5;ʵ¼ÊÆóÒµµÄ×éÖ¯¼Ü¹¹²ã´ÎÏà¶ÔÓ¦£¬ÊÊÓÃʵ¼ÊÓ¦Óû·¾³ÇÒÒ
32、5;ÓÚϵͳά»¤ºÍ½»»¥¹ÜÀí¡£ÎÄÏ×7Ìá³ö²¢»ùÓÚʵÑéÖ¤Ã÷RBAC½ÏºÃµ
33、;ؽâ¾öÁËÔƼÆËãÓ¦Óû·¾³ÏµÄÆóÒµÎÊÌâ¡£ÎÄÏ×8Ñо¿ÁËRBACÔÚÔÆ
34、¼ÆËãϵͳµÄÏÖ×´£¬ÈÏΪģÐÍ×÷ΪÔƵĻù´¡ÉèÊ©¹Ø¼ü¼¼ÊõÊÊ
35、ÓÃÓÚ¶àÓò»·¾³£¬²¢ÇÒÒѾ³É¹¦µØÓ¦ÓÃÔÚÒ½ÁÆ¡¢¹ÉƱºÍÉç½»
36、ÍøÂçÖС£Í¬Ê±£¬RBACÄ£Ðͱ»´ó¶àÊýÖ÷Á÷µÄÔÆƽ̨Ëù²ÉÓã¬Èç£
37、186;OpenStack¡¢Xen¡¢Windows AzureµÈ¡£ÎÄÏ×9Ìá³öʹÓÃÖмä¼þʵÏÖ¶àÓòϵͳ°²È«²ßÂ
38、Ô£¬²¢½áºÏÒ½ÁÆ°¸Àý֤ʵ·ÃÎÊ¿ØÖƲßÂÔÔÚ¶àÓòµÄÔƼÆËãϵÍ
39、³ÖоßÓпÉÐÐÐÔ¡£¡¡¡¡ÔÚ°²È«»¥²Ù×÷·½Ã棬´ó¹æÄ£·Ö²¼Ê½»
40、·¾³´ÙʹԽÀ´Ô½¶àµ¥ÍйÜÓòµÄÆóÒµÁªºÏÆðÀ´£¬Ðγɶà¹ÜÀíÓ
41、òÐ×÷»·¾³³ÉΪÇ÷ÊÆ¡£ÎÄÏ×10Ö¸³ö¶àÓò°²È«²ßÂÔÒì¹¹ÎÊÌâÊÇ
42、4;÷ÀàÔÆϵͳÐ×÷½ø³ÌÖеÄÖØÒªÌôÕ½£¬Õâ¸ö¹ý³ÌÒª¼ÈÄÜÓÐЧ
43、1;ØÖ§³Ö¿çÓò»¥²Ù×÷ÓÖÄܹ»±£Ö¤°²È«¡£ÎÄÏ×11ͨ¹ýÑо¿Ïà¹ØÎÄ
44、207;×£¬Ìá³ö½ÇɫίÍлúÖÆ¡¢Ó³Éä»úÖÆ¡¢ÐÅÈλúÖƺͲßÂԺϳÉ
45、187;úÖƵȣ¬ÊÇĿǰѧÊõ½çÉæ¼°µÄ¼¸¸öÑо¿·½Ïò¡£ÆäÖУ¬»ùÓÚRB
46、ACÄ£Ð͵ĽÇÉ«Ó³Éä»úÖÆÊÇ°²È«»¥²Ù×÷ÎÊÌâµÄÑо¿Èȵ㣬ÀýÈ
47、1;£ºÎÄÏ×12ΪʵÏÖ·Ö²¼»·¾³µÄ¿çÓò·ÃÎÊ£¬Ìá³öÀûÓÃÒ»ÖÖ»ùÓÚ¶
48、175;̬½Çɫת»»µÄ²ßÂÔÀ´¹¹½¨Óò¼ä·ÃÎÊ¿ØÖƹæÔòºÍÊôÐÔÔ¼ÊøÎ
49、196;Ï×13ÔÚRBAC»ù´¡ÉÏ£¬½¨Á¢ÓòÓòÖ®¼äµÄ½ÇÉ«Ó³Éä¹Øϵ£¬²ÉÓÃÖ±½Ó
50、215;ª»»·½Ê½ÊµÏÖÓò¼ä½ÇÉ«¹ØÁªÒÔ±£Õϵ¥¸ö×ÔÖÎÓòµÄ°²È«¡£¡¡
51、161;¡×ÛºÏÉÏÊö·½°¸£¬ÔÚRBAC²ßÂÔÓòµÄ»¥²Ù×÷¹ý³ÌÖеÄÊÚȨ¹ÜÀíÓ
52、5;·ÃÎÊ¿ØÖÆÎÊÌâÔÚÒ»¶¨³Ì¶ÈÉϵõ½Á˽â¾ö¡£È»¶ø£¬ÔÚʵʩ¹
53、3;³ÌÖÐÈÔÈ»¿ÉÄܳöÏÖÎ¥·´ÓòÄÚ°²È«Ô¼ÊøºÍ×ÔÖÎÐÔÎÊÌâ¡£ÎÄÏ
54、5;14·ÂÕæÄ£ÄâÁ˶¯Ì¬Ðͬ»·¾³Öа²È«²ßÂÔµÄÒ»ÖÂÐÔά»¤£¬ÔÚ¶
55、168;ÒåºÍά»¤Óò¼ä°²È«·ÃÎÊ¿ØÖƲßÂÔ·½Ãæ½øÐÐÁËÓÐÒæ³¢ÊÔ£¬µ
56、171;²¢Î´¸ø³ö¹¤¾ß¼ì²â·½·¨µÄÐÎʽ»¯¶¨Ò壬ÇÒȱ·¦ÓÐЧµÄÓò¼
57、228;·ÃÎÊ¿ØÖƲßÂԵļ¯³É·½°¸¡£¡¡¡¡ÔÚ°²È«²ßÂÔÑéÖ¤·½Ã棬Ä
58、191;Ç°ÒÑ´æÔÚ¶àÖÖÄ£Ðͼì²â¼¼Êõ15-17¡£ÕâЩ¼¼ÊõµÄ»ù±¾Ë¼ÏëÊÇ£º
59、11;ÃÐÎʽ»¯½¨Ä£ÓïÑÔÃèÊö´ýÑéÖ¤µÄ°²È«²ßÂÔϵͳģÐÍ£¬ÓÃʱ
60、04;¬Âß¼¹«Ê½ÃèÊö´ýÑéÖ¤µÄ°²È«ÊôÐÔ£¬È»ºó½«ËüÃÇÊäÈëµ½¼ì
61、78;⹤¾ßÖÐÍê³ÉÑéÖ¤¡£ÀýÈ磬ÎÄÏ×15Ìá³öÒ»ÖÖͨÓ÷ÃÎÊ¿ØÖÆÊô&
62、#208;ÔÑé֤ģÐÍ£¬ËüÄܹ»Î¬»¤¸÷ÖÖ¾²Ì¬¡¢¶¯Ì¬·ÃÎÊ¿ØÖƵݲȫ&
63、#212;¼Êø£¬²¢ÇÒͨ¹ý×éºÏÑéÖ¤·½Ê½Ìṩ²âÊÔÓÃÀýÒÔ¼ì²âÄ£ÐͺÍ&
64、#178;ßÂÔ¹æÔòµÄÒ»ÖÂÐÔͬʱÉú³É»ùÓÚÀ©Õ¹µÄ·ÃÎÊ¿ØÖƱê¼ÇÓïÑÔ(
65、eXtensible Access Control Markup Language£¬ XACML)·ÃÎÊ¿ØÖÆÈÏÖ¤²ßÂÔ£¬ÆäÖÐXACML2.0»òXACML 3.0ÒѾ³ÉΪĿǰÐ&
66、#173;ͬϵͳÖвßÂÔ¹æÔòµÄ¹æ·¶»¯ÃèÊöÓïÑÔ¡£ÎÄÏ×16Ìá³öʹÓúں
67、;ÐÄ£Ðͼì²â¼¼ÊõÀ´ÑéÖ¤´ý¼ì²âµÄ·ÃÎÊ¿ØÖÆÊôÐÔ¡£ÎÄÏ×17¸ø³ö
68、10;»ÖÖ·ÃÎÊ¿ØÖƲßÂÔ¼ì²â¹¤¾ß£¬¸Ã¹¤¾ßÌṩÁËÉèÖ÷ÃÎÊ¿ØÖÆ
69、78;ßÂÔºÍÊôÐÔ¹æÔòµÄͼÐλ¯Óû§½çÃ棬¿ÉÒÔͨ¹ý·ûºÅÄ£Ðͼì
70、78;âÆ÷(Symbolic Model Verifier£¬ SMV)½øÐзÃÎÊ¿ØÖƲßÂÔµÄÒ»ÖÂÐÔÑéÖ¤¡£´ËÍ⣬Ñо
71、1;»¹ÌṩÁËÍêÕûµÄ²âÊÔ¹¤¾ß°üÒÔ¼°Éú³ÉXACMLÓïÑÔÐÎʽµÄ²ßÂÔÊä³
72、;ö¡£¡¡¡¡×ÛÉÏËùÊö£¬·ÃÎÊ¿ØÖÆ¡¢°²È«»¥²Ù×÷ºÍÄ£Ðͼì²âÖ®¼
73、;äÊÇ»¥ÏàÖÆÔ¼¡¢ÏศÏà³ÉµÄ£¬Òò´Ë£¬Ñо¿Ò»ÖÖÓÐЧµÄ¶àÓò°
74、;²È«²ßÂÔÑéÖ¤¹ÜÀí¼¼ÊõÀ´ÊµÏÖÉÏÊö¹¦ÄܾßÓÐÖØÒªµÄÒâÒå¡£´
75、;Ó¹«¿ªµÄ¹úÄÚÍâÎÄÏ×Öл¹Ã»Óз¢ÏÖ½«ÉÏÊöÈýÕßͳһÆðÀ´½øÐ
76、;ÐÐÎʽ»¯Ñо¿²¢×ª»¯Ó¦Óõijɹû£¬ÀàËƵÄÑо¿¹¤×÷Ò²ÉõÉÙ£
77、;¬ÇÒ²»¾ßÓÐÆÕÊÊÐÔ¡£ÀýÈ磬ÎÄÏ×18Ìá³öÒ»ÖÖÃæÏòÍø¸ñϵͳÖÐ
78、83;Ö²¼Ê½·ÃÎÊ¿ØÖƲßÂԵĹÜÀí·½·¨£¬Ñо¿²»Í¬²ßÂÔÐÐΪµÄ±í
79、07;ÖÐÎʽ²¢¸ø³öÁËÏàÓ¦µÄ°²È«²ßÂÔÑéÖ¤·½°¸¡£È»¶ø£¬ÓÉÓÚȱ
80、83;¦¶ÔÓÚ°²È«»¥²Ù×÷ÎÊÌâµÄ¹Ø×¢£¬ÆäϵͳģÐÍ´æÔÚÑÏÖصĿç
81、11;ò·ÃÎÊ°²È«·çÏÕ¡£Í¬Ê±ÐÔÄÜÆÀ¹À½á¹û±íÃ÷£¬¸Ã·½°¸½öÊÊÓÃ
82、11;ÚС¹æÄ£µÄ·Ö²¼Ê½ÏµÍ³¡¢Ö»Ö§³ÖÊýÄ¿Ïà¶Ô½ÏСµÄ°²È«²ßÂÔ
83、81;ÄÑéÖ¤¡£¡¡¡¡Òò´Ë£¬±¾ÎÄÌá³öÁËÒ»ÖÖÊÊÓÃÓÚÔƼÆËãϵͳµÄ
84、82;àÓò°²È«²ßÂÔÑéÖ¤¹ÜÀí¼¼Êõ£¬¿ÉÒÔÔÚ´ó¹æÄ£µÄ°²È«»¥²Ù×÷
85、87;·¾³ÖÐʵÏÖÐÎʽ»¯¶¨Òå·ÃÎÊ¿ØÖƹæÔò¡¢¹æ·¶°²È«ÊôÐÔºÍÑé
86、14;¤°²È«²ßÂÔ¡£ÊµÏÖ¹ý³Ì±íÃ÷£¬¸Ã¼¼Êõͨ¹ýÒýÈëRBAC½ÇÉ«²ã´ÎÍÆ
87、;Àí£¬¾ßÓÐÇ¿´óµÄ½ÇÉ«¹Øϵ±í´ïÄÜÁ¦£¬ÆäÐÎʽ»¯¶¨ÒåÁËRBAC¹æÔ&
88、#242;±í´ïʽºÍÊôÐÔÃüÌ⣬²¢½øÒ»²½Ìá³öÁË°²È«²ßÂÔÑéÖ¤Ëã·¨£&
89、#172;ÔÚ´ó¹æÄ£°²È«ÓòÄ£ÄâʵÑéÖÐÏÔʾ³ö¸üÇ¿µÄͨÓÃÐԺͿÉÐÐÐ&
90、#212;¡£¡¡¡¡1Ô¤±¸ÖªÊ¶¡¡¡¡¼òµ¥½éÉÜ°²È«»¥²Ù×÷ºÍÄ£Ðͼì²âµÄÏ
91、à¹ØÀíÂÛ£¬RBACÄ£Ð͵Ļù´¡ÀíÂÛÇë¶ÁÕß×ÔÐвÎÔÄÎÄÏ×4£¬ÎÄÖв»&
92、#212;Ù׸Êö¡£¡¡¡¡1.1°²È«»¥²Ù×÷¡¡¡¡ÔÚ¶àÓòϵͳÖУ¬°²È«»¥²Ù×
93、7;Òª¼æ¹Ë×ÔÖÎÐԺͰ²È«ÐÔÁ½´óÔÔò3£¬12¡£ÆäÖÐ×ÔÖÎÐÔÔÔòÊÇÖ&
94、#184;Èç¹ûÒ»¸ö·ÃÎÊÇëÇóÔÚµ¥¸ö¹ÜÀíÓòϵͳÖб»ÔÊÐí£¬ÄÇôËüÔ&
95、#218;°²È«»¥²Ù×÷ÖÐÒ²±ØÐë±»ÔÊÐí°²È«ÐÔÔÔòÊÇÖ¸Èç¹ûÒ»¸ö·ÃÎ&
96、#202;ÇëÇóÔÚµ¥¸ö¹ÜÀíÓòϵͳÖб»½ûÖ¹£¬ÄÇôËüÔÚ°²È«»¥²Ù×÷Ö&
97、#208;Ò²Ðë±»½ûÖ¹¡£ÔÚ»ùÓÚRBACÄ£Ð͵ݲȫ»¥²Ù×÷ϵͳÖУ¬Óò¼äÁª
98、86;ÏËùÔö¼ÓµÄ½ÇÉ«¼Ì³Ð¹Øϵ¿ÉÄÜ»áÔì³É±¾µØ°²È«²ßÂÔµÄÎ¥·´
99、06;ÊÌ⣬¶øÕâÖÖÎ¥·´Ô¼ÊøµÄÐÐΪ¿ÉÒÔͨ¹ýÏà¹ØµÄ²ßÂÔ¼ì²â¶ø
100、77;»Ô¤ÏÈ·¢ÏÖ£¬ÌáÇ°±ÜÃⰲȫ·çÏÕ¡£°²È«»¥²Ù×÷ÊôÐÔÓл·¼Ì
101、79;С¢È¨ÏÞÌáÉý¡¢Ö°Ôð·ÖÀë(Separation of Duty£¬ SoD)ÔÔòºÍ×ÔÖÎÐÔµÈ19¡£ÏÂÃ棬&
102、#212;Ú¸ø³öÉÏÊö°²È«ÊôÐÔ¶¨Òå֮ǰ£¬ÏȽøÐÐÈçÏÂÔ¼¶¨¡£¡¡¡¡1)r1 ¡
103、250; r2£¬±íʾ½ÇÉ«r1¼Ì³Ð½ÇÉ«r2µÄȨÏÞ¡£¡¡¡¡2)Èç¹û½ÇÉ«rkÊôÓÚÓòdiµÄ½&
104、#199;É«£¬Ôò±íʾΪdirk;ͬÀí£¬diut±íʾÓòdiµÄÓû§ut£¬dipw±íʾÓòdiµÄȨÏÞpw¡
105、3;¡¡¡¡¶¨Òå1¼Ì³Ð»·ÊôÐÔ¡£¡¡¡¡ÔÚÓò¼ä»¥²Ù×÷¹ý³ÌÖУ¬ÓÉÓÚÐ
106、94;µÄ½ÇÉ«Ó³Éä¹ØϵµÄÒýÈ룬½ÇÉ«²ã´ÎÖ®¼äÐγÉÁË»·×´½á¹¹µ
107、96;¼Ì³Ð¹Øϵ£¬µ¼ÖÂϼ¶½ÇÉ«·Ç·¨ÓµÓÐÁËÉϼ¶½ÇɫȨÏÞ£¬ÕâÖ
108、14;Çé¿ö³ÆΪ¼Ì³Ð»·£¬¼ÇΪ£ºdirj>>dirk¡£Èçͼ1(a)Ëùʾ£¬ÔÚÓòdiÖУ¬ÓÃ
109、87;§diut±»Ö¸Åɸø½ÇÉ«dirk£¬ÔòÓû§diutͬʱ»ñµÃµ½ÁËËüµÄÉϼ¶½ÇÉ«dirjµÄ
110、;ȨÏÞ¡£¡¡¡¡¶¨Òå2ȨÏÞÌáÉýÊôÐÔ¡£¡¡¡¡ÔÚÓò¼ä»¥²Ù×÷¹ý³ÌÖ
111、8;£¬ÐµĽÇÉ«¹ØÁª¹Øϵµ¼ÖÂÒÔǰûÓйØÁªµÄ½ÇÉ«Ö®¼äÐγÉÄ
112、9;Öּ̳йØϵ£¬Ê¹µÃ½ÇÉ«»ñÈ¡µ½¸ü´óµÄȨÏÞ£¬ÕâÖÖÇé¿ö³ÆÎ
113、0;ȨÏÞÌáÉý£¬¼ÇΪ£ºdirj¡Ýdirk¡£Èçͼ1(b)Ëùʾ£¬ÓòdiÓû§diut±»Ö¸Åɸø½Ç
114、1;«dirj£¬Óû§diutÔÚ»ñµÃ½ÇÉ«dirjȨÏÞµÄͬʱ»¹»ñµÃÁ˽ÇÉ«dirkµÄȨÏÞ£¬
115、¼´Ê¹Óû§diutÓë½ÇÉ«dirkÖ®¼ä²¢²»´æÔÚÖ±½ÓÖ¸ÅɹØϵ¡£¡¡¡¡¶¨Òå3
116、14;°Ôð·ÖÀëÊôÐÔ¡£¡¡¡¡Èç¹ûÓòdiÓû§diut(»òÕßÓòdnÓû§dnut)ÓÉÓÚÓò¼ä½Ç&
117、#201;«Ó³Éä¹Øϵ£¬Ê¹µÃËü¿ÉÒÔ»ñÈ¡»òÔڻỰÖ줻î´æÔÚSoDÔ¼Êøµ
118、6;Á½»¥³â½ÇÉ«dirjºÍdirk£¬ÄÇô¾ÍÎ¥·´ÁËSoDÔ¼Êø£¬Èçͼ1(c)Ëùʾ¡£±¾ÎÄÑ&
119、#233;Ö¤Ö°Ôð·ÖÀëÊôÐÔÊÇ»ùÓÚÏÂÃæÁ½¸öÐÔÖÊ4£º¡¡¡¡1)Èç¹û½ÇÉ«rkºÍrm
120、Ö®¼ä²»´æÔÚÖ±½Ó»ò¼ä½ÓµÄ¼Ì³Ð¹Øϵ£¬ÄÇôrkºÍrmÍêÈ«»¥³â¡¡¡
121、161;2)Èç¹û½ÇÉ«rkºÍrmÍêÈ«»¥³â£¬ÄÇô²»´æÔÚÓÐÈκνÇÉ«¿ÉÒÔͬʱ
122、188;̳ÐrkºÍrm¡£¡¡¡¡¶¨Òå4×ÔÖÎÐÔÊôÐÔ¡£¡¡¡¡×ÔÖÎÐÔÊôÐÔÒªÇóÔÚÓ
123、42;¼ä»¥²Ù×÷»·¾³ÖеķÃÎÊ¿ØÖÆȨÏÞ²»ÄÜÎ¥·´×ÔÖιÜÀíÓòµÄ±
124、90;µØ²Ù×÷ȨÏÞ¡£°²È«»¥²Ù×÷ÒªÇóƽºâ×ÔÖÎÐԺͽ»»¥ÐÔ£¬Î¥·
125、80;Èκε¥¸öÓòµÄ°²È«²ßÂÔ¶¼ÊDz»ÔÊÐíµÄ¡£¡¡¡¡1.2Ä£Ðͼì²â¡¡¡
126、¡Ä£Ðͼì²â¼¼ÊõÊÇÑéÖ¤°²È«»¥²Ù×÷ÊôÐÔµÄÖØÒªÊֶΣ¬ËüÄܹ
127、»½â¾ö·ÃÎÊ¿ØÖÆÄ£Ð͵ÄͨÓÃÊôÐÔÑéÖ¤ÎÊÌâ¡£ÔçÔÚ20ÊÀ¼Í80Äê´ú
128、163;¬»ùÓÚʱÐòÂß¼µÄÄ£Ðͼì²â¼¼Êõ20¾Í±»¹ã·º¹Ø×¢£¬ÆäÔÀíÈç
129、ͼ2ÃèÊö£º¼ÙÉ裬M±íʾ״̬ǨÒÆϵͳ£¬F±íʾģ̬ʱÐòÂß¼¹
130、71;ʽ£¬½«¡°ÏµÍ³ÊÇ·ñ¾ßÓÐËùÆÚÍûµÄÐÔÖÊ¡±×ª»¯³ÉÊýѧÎÊÌâÀ
131、80;ÃèÊö£¬¼´¡°MÊÇ·ñÊǹ«Ê½FµÄÒ»¸öÄ£ÐÍ¡±£¬¼ÇΪM|=F?¡£¡¡¡¡Ä£ÐÍ
132、188;ì²â¹ý³ÌÖ÷Òª°üÀ¨ÏµÍ³½¨Ä£¡¢½¨Á¢ÏµÍ³ÐÔÖʹ淶ºÍÖ´ÐÐÑé
133、214;¤3¸ö¹ý³Ì¡£ÆäÖУ¬ÏµÍ³½¨Ä£Ö÷ÒªÊǽ¨Á¢ÓëϵͳÏà¶ÔÓ¦µÄǨ&
134、#210;Æϵͳ»òKripke16½á¹¹£¬ÓÃÀ´ÃèÊöϵͳ·½°¸µÄ¶¯Ì¬ÐÐΪϵͳÐÔÖʹ
135、;æ·¶µÄ½¨Á¢ÒªÇóͳһϵͳÐÔÖʵıí´ïÐÎʽ£¬¶àÊý»áʹÓüÆË
136、;ãÊ÷Âß¼(Computation Tree Logic£¬ CTL)¡¢ÏßÐÔʱ̬Âß¼(Linear Temporal Logic£¬ LTL)µÈÊôÐÔÃèÊöÓïÑÔÀ
137、0;¹æ·¶±í´ïÖ´ÐÐÑéÖ¤»·½Ú¿ÉÒÔ²ÉÓ÷½±ãµÄ×Ô¶¯Ñé֤ģʽ£¬Ó
138、1;Ä£Ðͼì²âÆ÷Íê³É¡£¡¡¡¡Ä¿Ç°£¬´æÔÚ´óÁ¿Ö§³ÖÄ£Ðͼì²â¼¼Ê
139、5;Ó¦ÓõÄÄ£Ðͼì²â¹¤¾ß£¬È磺SMV¡¢¼òµ¥½ø³ÌÔªÓïÑÔ½âÊÍÆ÷(Simple Promela Int
140、erpreter£¬ SPIN)21¡¢¸Ä½ø·ûºÅÄ£Ðͼì²âÆ÷(New Symbolic Model Verifier£¬ NuSMV)22ºÍUppaal23µÈ¡£±¾ÎĺóÐøµÄ
141、;Ñо¿¹¤×÷Ñ¡ÓÃNuSMVÕâ¿î¿ª·Å¼Ü¹¹µÄÄ£Ðͼì²âÆ÷¡£¡¡¡¡2ÔÆ°²È«²
142、;ßÂÔÄ£ÐÍ¡¡¡¡ÔÚ±¾ÕÂÖУ¬Ö÷ÒªÍê³ÉÁ½·½ÃæµÄ¹¤×÷£º¡¡¡¡1)Õë
143、82;ÔÔÆϵͳÖÐRBAC·½°¸²»ÄÜÓÐЧµØ½â¾ö²»Í¬ÔÆÍйÜÓòµÄ²ßÂÔ¼¯³É
144、;ÎÊÌ⣬ÒýÈëÓòÄÚ¹ÜÀíºÍÓò¼ä¹ÜÀíÁ½Àà½ÇÉ«²ã´Î¹Øϵ£¬¶Ô´«
145、;ͳµÄÊÊÓÃÓÚµ¥ÓòµÄRBACÄ£ÐͽøÐÐÖض¨Ò壬´Ó¶ø½¨Á¢Ò»ÖÖ»ùÓÚ¶&
146、#224;ÓòµÄ½ÇÉ«·ÃÎÊ¿ØÖÆ(multidomain Role Based Access Control£¬ domRBAC)Ä£ÐÍ¡¡¡¡2)¸ø³ö»ùÓÚCTLÓïÑÔµÄ
147、05;¨Ó÷ÃÎÊ¿ØÖÆÄ£ÐÍת»»·½·¨17£¬²¢¶Ô·ÃÎÊ¿ØÖƹæÔò¡¢°²È«Êô&
148、#208;ÔºÍǨÒÆϵͳµÄ±í´ï½øÐÐÁ˹淶¡£¡¡¡¡2.1domRBACÄ£ÐÍ¡¡¡¡±¾ÎÄÔÚANS
149、I INCITS 3592004 RBAC4µÄ»ù´¡ÉÏ£¬×ۺϿ¼ÂÇÁËϵͳ¹¦ÄܺÍÉó²é¹¦ÄÜ£¬¸ø³öÈç
150、207;ÂÐÎʽ»¯¶¨Òå¡£¡¡¡¡2.1.1»ù±¾ÔªËØ¡¡¡¡1)USERS¡¢ROLES¡¢OPS¡¢OBS·Ö±ð±íʾÓÃ
151、87;§¡¢½ÇÉ«¡¢²Ù×÷¡¢¶ÔÏóµÄ¼¯ºÏ¡£¡¡¡¡2)UAUSERS¡ÁROLES£¬±íʾÓû§Óë½Ç&
152、#201;«Ö®¼ä¶à¶Ô¶àµÄ·ÖÅä¹Øϵ¡£¡¡¡¡3)PRMS=2(OPS¡ÁOBS)£¬±íʾȨÏ޵ļ¯ºÏ¡
153、63;¡¡¡¡4)PAPRMS¡ÁROLES£¬±íʾȨÏÞÓëÓû§Ö®¼ä¶à¶Ô¶àµÄ·ÖÅä¹Øϵ¡£¡¡¡
154、161;5)Op(p£ºPRMS) ¡ú opOPS£¬±íʾȨÏÞÓë²Ù×÷Ö®¼äµÄ¶ÔÓ¦¹Øϵ£¬Ö¸Ã÷Ϊ²Ù×÷
155、188;¯·ÖÅäµÄȨÏÞ¼¯p¡£¡¡¡¡6)Ob(p£ºPRMS) ¡ú obOBS£¬±íʾȨÏÞÓë¶ÔÏóÖ®¼äµÄ¶&
156、#212;Ó¦¹Øϵ£¬Ö¸Ã÷Ϊ¶ÔÏ󼯷ÖÅäµÄȨÏÞ¼¯p¡£¡¡¡¡2.1.2ÓòÄÚ½ÇÉ«²ã&
157、#180;Ρ¡¡¡1)assigned_users£ºSUdi(dirk£ºROLES) ¡ú 2USERS£¬±íʾÓòdiÖнÇÉ«dirkÓëÓû§¼¯USERSÖ®¼äµÄÓ³
158、;Éä¹Øϵ£¬¼´£ºSUdi(dirk)=diut¡ÊUSERS|(diut£¬dirk)¡ÊUA¡£¡¡¡¡2)assigned_permissions£ºSPdi(dirk£ºROLES) ¡ú 2PRMS£¬±íʾÓ
159、òdiÖнÇÉ«dirkÓëȨÏÞ¼¯PRMSÖ®¼äµÄÓ³Éä¹Øϵ£¬¼´£ºSPdi(dirk)=dipw¡ÊPRMS|(dipw£¬dirk)¡ÊPA¡£
160、¡¡¡¡3)RHdiROLES¡ÁROLES£¬±íʾÓòdiÖнÇÉ«Ö®¼ä¼Ì³Ð¹ØϵµÄÆ«Ðò¼¯ºÏ£¬¼ÇÎ
161、ªÎʹý£¬»Ø¸´£º±íʾÕýÈ·¡£¡£Èôdirkdirm£¬ÄÇôdirmµÄȨÏÞ¼¯¶¼ÊÇdirkµÄ
162、200;¨ÏÞ¼¯£¬ÇÒdirkµÄÓû§¼¯Ôò¶¼ÊÇdirmµÄÓû§¼¯£¬¼´£ºdirkdirm UPdi(dirm)UPdi(dirk)¡ÄUUdi(dirk)UUdi(dirm)¡
163、;£¡¡¡¡4)authorized_users£ºUUdi(dirk£ºROLES) ¡ú 2USERS£¬±íʾÓòdiÖнÇÉ«dirkÓëÓòÄÚ½ÇÉ«²ã´ÎÓû
164、§¼¯USERSÖ®¼äµÄÓ³Éä¹Øϵ£¬ÕâÖÖÓ³ÉäÖ»¿¼ÂǽÇÉ«dirkÓëÓòÄÚµÄÆäË
165、51;½ÇÉ«Ö®¼äµÄ¼Ì³Ð¹Øϵ£¬¼´£ºUUdi(dirk)=diut¡ÊUSERS|dirmdirk£¬(diut£¬dirm)¡ÊUA¡£¡¡¡¡5)authorized_permissions
166、3;ºUPdi(dirk£ºROLES) ¡ú 2PRMS£¬±íʾÓòdiÖнÇÉ«dirkÓëÓòÄÚ½ÇÉ«²ã´ÎȨÏÞ¼¯PRMSÖ®¼äµ
167、196;Ó³Éä¹Øϵ£¬ÕâÖÖÓ³ÉäÖ»¿¼ÂǽÇÉ«dirkÓëÓòÄÚµÄÆäËû½ÇÉ«Ö®¼ä
168、1;ļ̳йØϵ£¬¼´£ºUPdi(dirk)=dipw¡ÊPRMS|dirkdirm£¬(dipw£¬dirm)¡ÊPA¡£¡¡¡¡2.1.3Óò¼ä½ÇÉ«²ã´Î¡&
169、#161;¡¡1)RHROLES¡ÁROLES£¬±íʾÓò¼ä½ÇÉ«Ö®¼ä¼Ì³Ð¹ØϵµÄÆ«Ðò¼¯ºÏ£¬¼ÇΪ¡
170、;£Èôdirkdjrm£¬ÄÇôdjrmµÄȨÏÞ¼¯¶¼ÊÇdirkµÄȨÏÞ¼¯£¬ÇÒdirkµÄÓû§¼¯¶¼ÊÇdjrmµ
171、;ÄÓû§¼¯¡£¼´£ºdirkdjrm UP(djrm)UP(dirk)¡ÄUU(dirk)UU(djrm)¡£¡¡¡¡2)authorized_users£ºUU(dirk£ºROLES) ¡ú 2USERS£¬±íʾ½ÇÉ
172、71;dirkÓëÓò¼ä½ÇÉ«²ã´ÎÓû§¼¯USERSÖ®¼äµÄÓ³Éä¹Øϵ£¬ÕâÖÖÓ³ÉäµÄ¼¯
173、ºÏ¼È°üÀ¨dirkÓëÓòÄÚ½ÇÉ«Ö®¼äµÄ¼Ì³Ð¹Øϵ£¬ÓÖ°üÀ¨dirkÓëÍâÓò½Ç
174、1;«Ö®¼äµÄ¼Ì³Ð¹Øϵ£¬¼´£ºUU(dirk)=UUdi(dirk)¡Èdjut¡ÊUSERS|djrmdirk£¬(djut£¬djrm)¡ÊUA¡£¡¡¡¡3)authorized_permissions
175、63;ºUP(dirk£ºROLES) ¡ú 2PRMS£¬±íʾ½ÇÉ«dirkÓëÓò¼ä½ÇÉ«²ã´ÎȨÏÞ¼¯PRMSÖ®¼äµÄÓ³Éä
176、;¹Øϵ£¬ÕâÖÖÓ³Éä¹Øϵ¼È°üÀ¨dirkÓëÓòÄÚ½ÇÉ«Ö®¼äµÄ¼Ì³Ð£¬ÓÖ°&
177、#252;À¨dirkÓëÍâÓò½ÇÉ«Ö®¼äµÄ¼Ì³Ð£¬¼´£ºUP(dirk)=UPdi(dirk)¡Èdjpw¡ÊPRMS|dirkdjrm£¬(djpw£¬djrm)¡ÊPA¡£
178、61;¡¡¡2.1.4ν´Ê¡¡¡¡¿¼Âǵ½Ê±ÐòÂß¼ÓïÑÔÖÐȱ·¦¹ØϵËã×Ó£¬Èç£
179、6;¡õºÍ¡£ÏÂÃ棬²¹³äһЩ¶ÔӦν´ÊµÄ¶¨Òå¡£¡¡¡¡1)IR(rk£¬rm)±íʾÁ½
180、½ÇÉ«¼ä´æÔÚ(Óò¼ä»òÓòÄÚ)Ö±½Ó¼Ì³Ð¹Øϵ£¬¼´£ºIR(rk£¬rm)=true rk¡õrm¡£Æä
181、4;У¬·ûºÅ¡õ±íʾֱ½Ó¼Ì³Ð¹Øϵ¡£¡¡¡¡2)MRdi(dirk£¬dirm)±íʾÓòdi½ÇÉ«²ã´
182、6;ÖеÄÁ½½ÇÉ«¼ä´æÔÚÒ»ÖÖ(Óò¼ä»òÓòÄÚ)Ö±½ÓµÄ»òÕß¼ä½ÓµÄ¼Ì³
183、208;¹Øϵ£¬¼´£ºMRdi(dirk£¬dirm)=true dirkdirm¡£¡¡¡¡3)RP(rk£¬rm)±íʾ¶ÔÓÚ´æÔÚÖ±½Ó¼Ì³Ð¹ØÏ
184、µµÄÁ½½Çrk£¬rm(rk¡õrm)£¬½ÇÉ«rkµÄ·ÖÅäȨÏÞ¼¯ÊǽÇÉ«rmȨÏÞ¼¯µÄ×Ó¼¯
185、3;¬¼´£ºRP(rk£¬rm)=true IR(rk£¬rm)¡ÄSPdi(rk)UP(rm)¡£¡¡¡¡4)IBdi(dirk£¬dirm£¬rn)±íʾÈç¹ûÈÎÒâÓò½ÇÉ«rnÊ
186、199;ËùÔÚÓòdiÖнÇÉ«dirkºÍ½ÇÉ«dirmµÄÉϼ¶½ÇÉ«£¬ÄÇô£¬rnµÄȨÏÞ¼¯ÔòÍ
187、172;ʱ°üÀ¨ÁËdirkµÄȨÏÞ¼¯ºÍdirmµÄȨÏÞ¼¯£¬¼´£ºIBdi(dirk£¬dirm£¬rn)=true SPdi(dirk)¡ÈSPdi(dirm)UP(rn)¡Ä
188、rndirk¡Ärndirm¡£¡¡¡¡5)BA(dirk)±íʾ½ÇÉ«dirkÓëÓòÄÚ½ÇÉ«²ã´ÎÖÐȨÏÞ¼¯µÄÓ³Éä¹
189、6;ϵ£¬ÊÇdirkÓëÓò¼ä½ÇÉ«²ã´ÎÖÐȨÏÞ¼¯µÄÓ³Éä¹ØϵµÄ×Ó¼¯£¬¼´£
190、ºBA(dirk)=true UPdi(dirk)UP(dirk)¡£¡¡¡¡2.2ת»»ÏµÍ³¡¡¡¡±¾ÎIJÉÓÃCTLʱÐòÂß¼À´¶ÔÓйØ
191、1;Ä°²È«²ßÂÔ½øÐй淶£¬È磺·ÃÎÊ¿ØÖƹæÔò¡¢°²È«ÊôÐԺͱä
192、9;¨ÏµÍ³¡£¡¡¡¡ÔÚCTLÓïÑÔÖУ¬Ç°×ºÂ·¾¶Á¿´Ê¿ÉÒÔ¶ÏÑÔ¹ØÓÚÏßÐÔ&
193、#202;±ÐòËã×ÓµÄÈÎÒâ×éºÏ¡£¾Ý´Ë£¬±¾ÎĹ涨ʹÓÃͨÓ÷¾¶Á¿´Ê&
194、#177;íʾ¡°¶ÔËùÓз¾¶¡±£¬Ê¹ÓÃÏßÐÔʱÐòËã×Ó¡õ±íʾ¡°ÏÖÔÚºÍ&
195、#210;ÔºóËùÓÐ״̬¡±£¬Ê¹ÓÃÏßÐÔʱÐòËã×Ó¡ó±íʾ¡°ÏÖÔÚ»òÒÔºó&
196、#196;³Ò»×´Ì¬¡±¡£ÁíÍ⣬¹æ¶¨Ê±Ðòģʽ¡õ¦µ±íʾ²»±äµÄ¦µ£¬Ê±&
197、#208;òģʽ¡ó¦µ±íʾ¿É±äµÄ¦µ£¬ÆäÖУ¬¦µÊÇÒ»¸ö״̬¹«Ê½¡£¡¡&
198、#161;¡¶¨Òå5Ò»ÌõdomRBAC¹æÔòÊÇÐÎÈç¡°if c then d¡±µÄÃüÌ⣬ÆäÖУ¬Ô¼ÊøcÊÇÒ»¸
199、;ö¹ØÓÚ¾ö²ßÐí¿ÉdµÄν´Ê±í´ïʽ(r£¬UP(r)£¬Òò´Ë£¬ÓÉһϵÁйæÔò×
200、33;³ÉµÄdomRBAC²ßÂÔ£¬¿ÉÒÔ±íʾ³ÉÐÎÈçc(r£¬UP(r)µÄÕâÖÖÂß¼±í´ïʽÐÎʽ¡
201、£¡¡¡¡¶¨Òå6Ò»¸ödomRBAC·ÃÎÊ¿ØÖÆÊôÐÔpÊÇÐÎÈç¡°b ¡ú d¡±µÄ¹«Ê½£¬ÆäÖ
202、;У¬·ÃÎÊȨÏÞÐí¿ÉdµÄ½á¹ûÈ¡¾öÓÚÁ¿»¯Î½´ÊbÓë(r£¬UP(r)Ö®¼äµÄÓ³É
203、228;¹Øϵ£¬Æä¹éÔ¼¹Øϵ ¡ú ÃèÊöÁËϵͳÄÚ²¿µÄÍÆÀí·½Ê½¡£¡¡¡¡¶
204、¨Òå7ǨÒÆϵͳTSÊÇÒ»¸öËÄÔª×é(S£¬Act£¬¦Ä£¬i0)£¬ÆäÖУº¡¡¡¡1)SÊÇÓÐ
205、7;Þ״̬µÄ¼¯ºÏ£¬S=Permit£¬Deny;¡¡¡¡2)ActÊǻµÄ¼¯ºÏ£¬Act=(r1£¬UP(r1)£¬ (r2£¬UP(r2)£¬¡
206、;£¬(rn£¬UP(rn);¡¡¡¡3)¦ÄÊÇ״̬תÒƹØϵ£¬ÇҦģºS¡ÁAct ¡ú S;¡¡¡¡4)i0¡ÊSÊdz
207、5;ʼ״̬¡£¡¡¡¡¸ù¾Ý¶¨Òå6£¬·ÃÎÊ¿ØÖÆÊôÐÔp¿ÉÒÔ±»±íʾ³ÉǨÒ
208、198;ϵͳTSµÄÃüÌ⣬Èçp£ºS¡ÁAct2 ¡ú S£¬Òò´Ë£¬domRBAC²ßÂÔ¿ÉÒÔ¶ÔÓ¦µØת»»
209、179;ÉÂß¼¹«Ê½£ºp=(Si*(r1£¬UP(r1)*(r2£¬UP(r2)*¡*(rn£¬UP(rn) ¡ú d£¬ÆäÖУ¬p¡ÊP£¬P´ú±íÊôÐÔ¼
210、175;ºÏ£¬²¢ÇÒ*ÊÇCTLÖеIJ¼¶ûËã×Ó¡£´ËÍ⣬domRBACÄ£Ð͵ŦÄܹæÔò¶ÔÓ
211、66;ÓÚת»»ÏµÍ³TSµÄת»»¹Øϵ¦Ä£¬Òò´Ë£¬½«domRBAC·ÃÎÊ¿ØÖÆÊôÐÔ±íʾ
212、Ϊʱ̬Âß¼±í´ïʽ(¼´Ê±Ì¬¹æ·¶)£¬¾Í¿ÉÒÔ¶ÏÑÔÊôÐÔpÔÚTSÏÂÊÇ·&
213、#241;¿ÉÂú×㣬¼´ÑéÖ¤TS|=¡õ(b ¡ú ¡ód)ÊÇ·ñΪÕæ¡£2.3ÊôÐԹ淶¡¡¡¡½áºÏÇ
214、°Ãæ2.1½ÚÄÚÈÝ£¬ÏÂÃæ¸ø³ö¼Ì³Ð»·ÊôÐÔ¡¢È¨ÏÞÌáÉýÊôÐÔ¡¢Ö°Ôð
215、83;ÖÀëÊôÐÔÒÔ¼°×ÔÖÎÐÔ°²È«ÊôÐÔµÄʱ̬Âß¼¶¨Òå¡£¡¡¡¡¶¨Òå8
216、188;̳л·ÊôÐÔΪ£º¡¡¡¡TSdomRBAC|=¡õ(RP(dirj£¬dirk) ¡ú ¡óDeny)(1)¡¡¡¡ÆäÖÐdirj£¬dirk±íʾÓòdiÖ
217、еÄÁ½¸ö½ÇÉ«¡£Í¨¹ýÑéÖ¤ÃüÌâRP(dirj£¬dirk) ¡ú ¡óDenyÊÇ·ñÂú×ãTSdomRBACÖеIJ»
218、77;äʽ£¬À´¼ì²â½ÇÉ«dirjÊÇ·ñ´æÔÚ»·×´¼Ì³Ð¡£¡¡¡¡¶¨Òå9ȨÏÞÌáÉ
219、3;ÊôÐÔΪ£º¡¡¡¡TSdomRBAC|=¡õ(MRdi(dirj£¬dirk)¡ÄRP(dirj£¬dirk) ¡ú ¡óDeny)(2)¡¡¡¡ÆäÖÐdirjÊÇÓû§diut¶Ô
220、211;¦µÄÖ¸ÅɽÇÉ«¡£Í¨¹ýÑéÖ¤ÃüÌâ(MRdi(dirj£¬dirk)¡ÄRP(dirj£¬dirk) ¡ú ¡óDenyÊÇ·ñÂú×ã²
221、;»±äʽTSdomRBAC£¬À´¼ì²â½ÇÉ«dirj£¬dirkÖ®¼äÊÇ·ñÒòΪÓò¼äÓ³Éä¹ØÁªµ¼ÖÂ
222、Óû§diutµÄȨÏÞÌáÉý¡£¡¡¡¡¶¨Òå10Ö°Ôð·ÖÀëÊôÐÔΪ£º¡¡¡¡TSdomRBAC|=¡õ(dirj
223、161;Êdirsw¡Ädirk¡Êdirsw¡Ä(RP(dirj£¬dirk)¡ÅRP(dirk£¬dirj)¡ÅIBdi(dirj£¬dirk£¬rm) ¡ú ¡óDeny)(3)¡¡¡¡¼øÓÚSoDÊôÐÔÊÇ»
224、ùÓÚ½ÇÉ«¶ÔʵÏֵģ¬Õâ¾ÍÐèÒª¼ì²â»¥³â½ÇÉ«¶ÔµÄ×îСÊýÁ¿µ
225、ÄÔ¼Êø¹Øϵ£º(dirs£¬n)¡ÊSSD£¬ÆäÖУ¬n¡Ý2ÇÒdirs´ú±íÒ»¸ö½ÇÉ«¼¯¡£Í¬Ñù
226、181;Ø£¬¿ÉÒԵȼ۵رíʾ³É¶þÏîϵÊý|di rs| C2 (|di rs|2)|di rs|!2!(|di rs|-2)!¡£¡¡¡¡¶¨Òå11×ÔÖÎÐ
227、;ÔÊôÐÔΪ£º¡¡¡¡TSdomRBAC|=¡õ(BA(dirk) ¡ú ¡óPermit)(4)¡¡¡¡ÔÚ»¥²Ù×÷ÖУ¬Í¨¹ý¼ì²âÓ
228、42;diÖнÇÉ«dirkµÄËùÓÐÖ¸ÅÉȨÏ޺ͽÇÉ«²ã´ÎÓ³ÉäÉú³ÉȨÏÞÊÇ·ñ±»
229、77;£»¤£¬À´ÑéÖ¤×ÔÖÎÐÔÊôÐÔ¡£¡¡¡¡3¼¼ÊõʵÏÖ¡¡¡¡±¾ÕÂÌÖÂÛÔÆ
230、207;µÍ³¶àÓò°²È«²ßÂÔÑéÖ¤¼¼ÊõʵÏÖÎÊÌâ¡£Ê×ÏÈ£¬Ìá³öÒ»ÖÖ»ù
231、211;ÚͼÂ۵ĽÇÉ«¹ØÁª(½ÇÉ«½ÇÉ«)Ó³ÉäËã·¨£¬¸ÃË㷨ͨ¹ýÒýÈëRBAC½
232、199;É«²ã´ÎÍÆÀíÀ´ÊµÏÖ¶ÔϵͳģÐÍÖнÇÉ«²ã´Î¹ØϵµÄ׼ȷģÄ
233、226;¡£¸ÃËã·¨µÄºËÐÄ˼ÏëÊÇ£¬ÓÃÏ¡ÊèͼÊý¾Ý½á¹¹±íʾ½ÇÉ«²ã´
234、206;¹Øϵ£¬ÓÃÁ´±íÌæ´ú´«Í³¾ØÕóÄ£Äâ½ÇÉ«²ã´Î£¬ÒÔ»ñÈ¡¸ü¸ßµ
235、196;ÊôÐÔÑéÖ¤ÐÔÄÜ¡£Æä´Î£¬¸ø³öÁË»ùÓÚ¶àÓòµÄÔÆ°²È«²ßÂÔÑéÖ
236、164;Ëã·¨¡£ÏÂÃ棬Ïȸø³öʵÏÖ²¿·ÖµÄÏà¹Ø¶¨Òå¡£¡¡¡¡¶¨Òå12G=(V£¬E)
237、ÊÇÒ»¸ö±í´ïÓò¼ä½ÇÉ«²ã´ÎµÄÓÐÏòͼ£¬ÆäÖÐV(VROLES)´ú±íÒ»×éÓÐÏÞ
238、61;¢·Ç¿ÕµÄ½ÇÉ«¶¥µã¼¯ºÏ£¬E´ú±íͼÖÐÓÐÏò±ßµÄ¼¯ºÏ£¬²¢ÇÒ£¬
239、195;¿ÌõÓÐÏò±ß¶¼ÊÇÏà¹ØÁ½½ÇÉ«¶¥µãµÄÒ»¶ÔÐòż(dirm£¬djrn)£¬ÆäÖÐÁ½
240、9;ÇÉ«¶¥µãµÄ¹ØϵΪdirmdjrn¡£¡¡¡¡¶¨Òå13ͼGÖеÄÒ»Ìõ·¾¶ÊÇÖ¸ÓÉn-1Ìõ
241、211;ÐÏò±ßËù¹¹³ÉµÄÐòÁм¯ºÏ(dir1£¬dir2)£¬(dir2£¬dir3)£¬¡£¬(dirn-1£¬dirn)£¬Á¬½Ó´Ó½
242、ÇÉ«¶¥µãdir1µ½½ÇÉ«¶¥µãdirn£¬Ò»Ìõ·¾¶´ú±íÁËÁ½½ÇÉ«¶¥µãdir1ºÍdirnÖ®
243、188;äµÄ¼ä½Ó¼Ì³Ð¹Øϵ¡£¡¡¡¡¶¨Òå14ͼGµÄÁÚ½Ó±íÊÇÁбí|V|µÄÒ»¸öÊ
244、253;×éL£¬Í¼GÖеÄÿ¸ö½ÇÉ«¶¥µã¶¼±»°üº¬ÔÚV¼¯ºÏÀïÃæ¡£¶ÔÓÚÿ¸
245、;ö½ÇÉ«¶¥µãdirmÀ´Ëµ£¬¶¼´æÔÚÒ»¸öÖ¸ÕëLdirmÖ¸ÏòÒ»¸öº¸ÇÓëdirmÏàÁÚ
246、9;ÓµÄËùÓнÇÉ«¶¥µãµÄÁ´½Ó±í¡£±¾ÎÄÓÃAG±íʾͼGµÄÁÚ½Ó±í£¬ÓÃn
247、ilÖ¸Õë±íʾһ¸öÁ´±íµÄÖÕÖ¹¡£¡¡¡¡¶¨Òå15G*=(V£¬E*)ÊÇͼG=(V£¬E)µÄ´«µÝ±
248、Õ°ü£¬ÆäÖУ¬µ±ÇÒ½öµ±Í¼GÖдæÔÚÒ»Ìõ´Ó¶¥µãuµ½¶¥µãvµÄ·¾¶
249、02;±£¬E*¼¯ºÏÖаüº¬ÓÐÒ»Ìõ±ßedge(u£¬v)¡£±¾ÎÄÓÃTG±íʾһ¸ö»ùÓÚÁÚ½Ó
250、77;í´æ´¢µÄÓÐÏòͼG=(V£¬E)µÄ´«µÝ±Õ°üÁÐ±í¡£¡¡¡¡»ùÓÚͼÂ۵ĽÇÉ
251、71;¹ØÁªÓ³ÉäËã·¨µÄ½á¹¹ÈçËã·¨1Ëùʾ¡£ÕâÀTGΪËã·¨·µ»ØµÄÉ
252、ú³É½á¹û£¬ÆÚ¼ä²ÉÓõĸĽøWarshallËã·¨µÄÏà¹ØÐÅÏ¢¿É²Î¿¼ÎÄÏ×24¡
253、163;ÔÚ½ÇÉ«¹ØÁªÓ³ÉäËã·¨ÖУ¬µÚ1²½£¬¸ù¾ÝdomRBAC¹æÔòÉú³ÉÓÐÏòͼG=(V£
254、172;E)µÄÁÚ½Ó±íAG£¬Õâ¸ö¹ý³Ì¿ÉÒÔÀûÓÃÈçÎÄÏ×22ÖÐÌáµ½µÄ½âÎöÆ÷(Simple API fo
255、r XML£¬ SAX)½øÐÐ×Ô¶¯Éú³ÉµÚ2²½£¬¸ù¾ÝAG¼ÆËãͼGµÄ´«µÝ±Õ°üÁбíTG£¬±
256、190;ÎIJÉÓÃÒ»ÖÖʱ¼ä¸´ÔÓ¶ÈΪO(|V|E|)µÄ¸Ä½ø´«µÝ±Õ°üËã·¨24¡£¡¡¡¡Ë
257、7;·¨1»ùÓÚͼÂ۵ĽÇÉ«¹ØÁªÓ³ÉäËã·¨(Èçͼ3)¡£¡¡¡¡Ê¾Àý1Èçͼ4Ëù
258、2;¾ÊÇÒ»¸ö¶¨ÒåÁËÁ½¸öÓòd1£¬d2Ö®¼ä»¥²Ù×÷µÄÓò¼ä·ÃÎÊ¿ØÖƲßÂÔ
259、Ó¦Óó¡¾°¡£ÆäÖУ¬ÔÚ¹ÜÀíÓòd1ÖÐÓнÇÉ«d1ra£¬d1rb£¬d1rc£¬d1rd£¬d1re£¬½ÇÉ«d1
260、ra¼Ì³Ðd1rbµÄËùÓÐȨÏÞ²¢¼ä½Ó¼Ì³Ðd1reµÄȨÏÞ£¬½ÇÉ«d1rc¼Ì³Ðd1rdµÄËùÓÐÈ
261、¨ÏÞ²¢¼ä½Ó¼Ì³Ðd1reµÄȨÏÞ£¬²¢ÇÒ½ÇÉ«d1rbºÍ½ÇÉ«d1rcÖ®¼ä»¹´æÔÚSSDÔ¼
262、02;øÔÚ¹ÜÀíÓòd2ÖÐÓÐÁ½¸ö½ÇÉ«d2rf£¬d2rg£¬½ÇÉ«d2rf¼Ì³Ðd2rgµÄÈ«²¿È¨ÏÞ¡£´
263、03;Í⣬Óòd1ºÍd2Ö®¼äµÄÓò¼ä¼Ì³Ð¹Øϵ¶¨ÒåÈçÏ£º¡¡¡¡1)½ÇÉ«d1rb¼Ì³Ð
264、;½ÇÉ«d2rg;¡¡¡¡2)½ÇÉ«d2rg¼Ì³Ð½ÇÉ«d1rc¡£¡¡¡¡Èçͼ5ËùʾÊÇAGºÍTGµÄÉú³É½á
265、85;û£¬¾ßÌåµÄ¼ÆËã¹ý³ÌÈçÏÂËùʾ¡£¡¡¡¡Ê×ÏÈ£¬ÀûÓÃBOOST C+³ÌÐò¿â25Ö
266、;еÄBoost GraphÖÐadjacency_listÀ࣬Éú³ÉÒ»¸öͨÓõÄÒÔÁÚ½Ó±íAG½á¹¹´æ´¢µÄÓÐÏò
267、205;¼G;Æä´Î£¬ÀûÓÃBoost Graph¿âÖеÄtransitive_closure()º¯Êý£¬½«Í¼GÊäÈ벢ת»»Éú³É´«
268、1;ݱհü½á¹¹ÁбíTG¡£¡¡¡¡Í¼5ÖеÄAGd1ºÍTGd1·Ö±ð±íʾ¹ÜÀíÓòd1µÄÁÚ½Ó
269、77;íºÍ´«µÝ±Õ°üÁÐ±í¡£¸ù¾Ý¶¨Òå11£¬TGd1¿ÉÒÔ×÷ΪһÖÖ´ý¼ì²âµÄ°
270、78;È«ÊôÐÔ£¬ÓÃÓÚÑéÖ¤Ôʼµ¥¸ö¹ÜÀíÓòÔÚÓë¶àÓòµÄ»¥²Ù×÷¹ý³
271、04;ÖÐÊÇ·ñÎ¥·´ÁË×ÔÖÎÐÔÔÔò¡£¡¡¡¡»ùÓÚ¶àÓòµÄÔÆ°²È«²ßÂÔÑ
272、33;Ö¤Ëã·¨µÄ½á¹¹ÈçËã·¨2ºÍͼ6Ëùʾ¡£ÔÚ¸ÃËã·¨ÖУ¬Ê×ÏÈÀûÓÃË&
273、#227;·¨2£¬½«¸ù¾ÝÔÆÓû§·ÃÎÊÐèÇóÉú³ÉµÄdomRBAC¹æÔòXMLÎļþ£¬¾¹ý½âÎ
274、246;Æ÷SAXÉú³É¼Ç¼Óò¼ä½ÇÉ«¹ØÁª¹ØϵµÄAGºÍTG;È»ºó£¬ÀûÓõü´úÆ÷(Iterator)
275、163;¬¸ù¾ÝËã·¨3£¬µü´úÉú³ÉеÄXMLÎļþ£¬¾ßÌå°üÀ¨ÔÓеķÃÎÊ¿
276、6;ÖƹæÔò¡¢ÐÂÔö½ÇÉ«¹ØϵÃèÊö¹æÔòÒÔ¼°´ýÑéÖ¤µÄ°²È«ÊôÐÔ¡
277、3;ÓÉÓÚÕâЩXMLÎļþÊǾ¹ý¹æ·¶µÄÂß¼³ÌÐò£¬Òò¶ø¿ÉÒÔ×°ÔؽøÈ&
278、#235;¼ì²âϵͳֱ½Ó¼ÆËã×îºó£¬NuSMVϵͳ¿É¸ßЧµØ¼ÆËãËü²¢·µ»Ø²é
279、209;¯½á¹ûR£º¡¡1)Èç¹ûR=true£¬¼´TSdomRBAC|=pΪÕ档˵Ã÷ÊôÐÔpÔÚTSÏÂÊÇ¿ÉÂú×ã¡£
280、161;¡¡¡2)Èç¹ûR=FALSE£¬¼´TSdomRBAC|=pΪ¼Ù¡£ËµÃ÷ÊôÐÔpÔÚTSÏÂÊDz»¿ÉÂú×ã¡£¡¡¡¡
281、203;ã·¨2ÔÆ°²È«²ßÂÔÑéÖ¤Ëã·¨¡£Ö»Ð´ÁËËã·¨2£¬È´Ã»Óп´µ½¾ßÌå
282、Ëã·¨£¬ÊÇ·ñÒÅ©ÁË?ÇëÃ÷È·¡£»Ø¸´£ºËã·¨2ÊÇÓÃͼ6ÃèÊöµÄ£¬Ë
283、49;ÒÔ²¢Ã»ÓÐÒÅ©¡£¡¡¡¡Ëã·¨3¹æÔòºÍÊôÐÔÉú³ÉËã·¨¡£¡¡¡¡³ÌÐ
284、242;Ç°¡¡¡¡procedure ITERATOR_SKELETON(TG)¡¡¡¡for all vertex dri¡ÊTG¡¡¡¡for all adjacent vertex drj¡¡¡¡´Ë´¦µÄ×¢ÊÍ£¬ÊÇ·ñ
285、184;ÄΪ²Ù×÷¡£ÒòΪforÓï¾äºóÃæûÓÐÖ´ÐÐÓï¾äÁË£¬¶øÖ±½ÓÊǽáÊø
286、;Óï¾äÁË£¬ÇëÃ÷È·¡£/Éú³Éʱ̬¹æ·¶µÄ¹æÔòºÍÊôÐÔ¡¡¡¡end procedure¡¡¡
287、61;³ÌÐòºó¡¡¡¡4ÐÔÄÜÆÀ²â¡¡¡¡ÏÂÃæ¶Ô±¾ÎÄÌá³öµÄ¼¼Êõ½øÐÐʵÑ
288、233;ÐÔÄÜÆÀ¹À¡£ÊµÑé˵Ã÷ÈçÏ£ºÊ×ÏÈ£¬ÀûÓÃNetworkX¹¤¾ßÉú³ÉÔƶËÓÃ
289、»§µÄ·ÃÎÊ¿ØÖÆÇëÇó£¬×÷Ϊ½âÎöÆ÷µÄÊäÈëÊý¾Ý¡£ÆäÖУ¬NetworkXÊÇ
290、0;»¿îÓÃPythonÓïÑÔ¿ª·¢µÄͼÂۺ͸´ÔÓÍø½¨Ä£¹¤¾ß£¬Äܹ»Ìṩgnc_graph()º¯
291、;Êý¶¯Ì¬Éú³ÉÓû§ÇëÇóºÍ¶ÔӦȨÏÞ¡£Æä´Î£¬Ê¹ÓÃdomRBACÄ£ÄâÆ÷Ä£
292、6;âÔÆÍйÜÓòµÄ½ÇÉ«Ö¸ÅÉ¡£¡¡¡¡¼ÙÉè·Ö±ðÓÐ5£¬10£¬15£¬20¸öÔÆÍй
293、20;Óò£¬ÆäÖÐÿ¸öÍйÜÓòÖк¬ÓÐ50¸ö½ÇÉ«¡£ÔÚ´Ë»ù´¡ÉÏ£¬ÊµÑéÉ&
294、#232;¼ÆÄ£Äâ4¸ö²»Í¬¹æÄ£´óСµÄÓò¼ä»¥²Ù×÷»·¾³£¬·Ö±ðÊǾßÓÐ250
295、63;¬500£¬750£¬1000¸ö½ÇÉ«µÄÔÆÐͬ¼ÆËã»·¾³¡£ÏµÍ³µÄÔËÐл·¾³ÎªWindows Server 2003 R2²Ù×÷ϵͳ
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 岸電箱施工方案
- 2025年山東省成考試題及答案
- 農(nóng)村泥巴墻施工方案
- 5年級(jí)下冊(cè)語(yǔ)文背誦
- 5年級(jí)上冊(cè)語(yǔ)文筆記第6單元第1課小練筆
- 等保測(cè)評(píng)服務(wù)人員配置方案
- 4年級(jí)上冊(cè)第5單元
- 嘉興古建基礎(chǔ)施工方案
- 大學(xué)語(yǔ)文同步練習(xí)12-垓下之圍 (1) - 副本 - 副本
- 2025年安徽衛(wèi)生健康職業(yè)學(xué)院?jiǎn)握新殬I(yè)傾向性測(cè)試題庫(kù)參考答案
- GB/T 13384-2008機(jī)電產(chǎn)品包裝通用技術(shù)條件
- 綜合門診部全科醫(yī)療科設(shè)置基本標(biāo)準(zhǔn)
- GB 15603-1995常用化學(xué)危險(xiǎn)品貯存通則
- FZ/T 07019-2021針織印染面料單位產(chǎn)品能源消耗限額
- 北師大版高中英語(yǔ)必修二《New-Zealand-Fact-File》reading-課件-
- 豎彎鉤的書寫課件
- 幼兒園小班植樹節(jié)課件:《栽樹》
- 初中英語(yǔ)《Unit5-Do-you-remember-what-you-were-doing》教學(xué)課件設(shè)計(jì)
- 幼兒園大班數(shù)學(xué)口算練習(xí)題可打印
- 小學(xué)班會(huì)課件-端午節(jié)主題班會(huì)(共19張PPT)通用版 PPT課件
- 細(xì)菌性痢疾流行病學(xué)個(gè)案調(diào)查表
評(píng)論
0/150
提交評(píng)論