云系統(tǒng)中多域安全策略規(guī)范與驗(yàn)證方法_第1頁(yè)
云系統(tǒng)中多域安全策略規(guī)范與驗(yàn)證方法_第2頁(yè)
云系統(tǒng)中多域安全策略規(guī)范與驗(yàn)證方法_第3頁(yè)
云系統(tǒng)中多域安全策略規(guī)范與驗(yàn)證方法_第4頁(yè)
云系統(tǒng)中多域安全策略規(guī)范與驗(yàn)證方法_第5頁(yè)
已閱讀5頁(yè),還剩5頁(yè)未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(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ì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論