A foydalanuvchi u ∈U yolg’iz foylalanuvchilarni ifodalaydi
Download 36.57 Kb.
|
rbac
- Bu sahifa navigatsiya:
- Statik cheklovlar
|
Cheklovlar. RBAC-da cheklovlar standart mantiqiy dastur bandi sifatida ifodalanadi, ⊥ belgi axborot yetishmagan xolat bilan ifodalanadi. Shunday Qilib,
-da tasvirlangan vaziyat notoʻgʻri, ya'ni cheklovni buzadi. bandi standart mantiqiy dastur shaklida ifodalanadi ba’zi xollarda k yoki l nol bo'lishi mumkin, lekin ikkalasi ham emas. va p(T1,t2, . . . , tm) qaerda p, predikat deb nomlangan, yoki v0-RBAC meta modelida belgilangan munosabatlardan biri yoki ushbu munosabatlar asosida rekursiv ravishda aniqlangan munosabat. m predikatning aritasi p, va ti atamalar deb nomlangan, yoki o'zgaruvchilar, ekzistensial miqdoriy deb qabul qilingan yoki yuqorida tavsiflangan tushunchalar misollarini ifodalovchi doimiylar (foydalanuvchilar, rollar, tashkiliy birliklar yoki imtiyozlar). O'zgaruvchilar x va c kabi kursiv bilan ifodalanadi va konstantalar "tasdiqlash"kabi oddiy shriftda ifodalanadi. Tasdiqlash topshirig'ining so'rovchisi va ijrochisi bir xil shaxs bo'lishi mumkin emasligi cheklovi quyidagicha ifodalanadi: Yuqoridagi formulani "quyidagi holat yaroqsiz: c ishi uchun topshiriq so'rovining ijrochisi x va c ishi uchun vazifani tasdiq1 y ijrochisi x va y bir xil"deb o'qish kerak. Statik cheklovlar foydalanuvchilar, rollar, tashkiliy birliklar va imtiyozlar o'rtasida noto'g'ri shakllangan munosabatlarni joriy etishni taqiqlaydi, bunday munosabatlarga yo'l qo'ymaslik kerak bo'lgan shartlarni belgilaydi. Statik nomi bu cheklovlar vazifalarning bajarilishiga bog'liq emasligidan kelib chiqadi. Ular xavfsizlik modelining tuzilishini har qanday dinamik xatti-harakatlardan mustaqil ravishda boshqaradilar. Statik cheklovlar to‘lam qo'shilganda yoki olib tashlanganda amalga oshiriladi. Yangi foydalanuvchilar, rollar va munosabatlarning yangi misollarini ifodalovchi kortejlarni qo'shadigan bitimdan so'ng, statik cheklovlarni tekshirish kerak. Qog'ozda tasvirlangan cheklovdan foydalanib, statik cheklovlarni tekshirish natijasi faqat buzilishlarning mavjudligi yoki yo'qligi bo'ladi. Albatta, yuqoridagi cheklovni amaliy ravishda amalga oshirish nafaqat buzilish mavjudligini tekshirishi, balki yuqoridagi u, r1 va r2 o'zgaruvchilarining qaysi instantsiyasi buzilishga sabab bo'lishini ham aniqlashi kerak Download 36.57 Kb. Do'stlaringiz bilan baham: 
|