9-маъруза: Маълумотларга нисбатан рухсатларни мантиқий бошқариш. Формал моделлар



Download 0,82 Mb.
bet9/9
Sana22.02.2022
Hajmi0,82 Mb.
#94810
1   2   3   4   5   6   7   8   9
Bog'liq
9-маъруза Маълумотларга нисбатан рухсатларни мантиқий бошқариш Формал моделлар

Белл-Лападула шунингдек заиф тинчлик хусусиятини таклиф этди. Бунга кўра “ўрнатилган хавфсизлик сиёсатига” таъсир қилмаса хавфсизлик ёрлиғи ўзгариб туриши мумкин. “Заиф тинчлик хусусияти” Z тизимини мағлубиятга учратиши мумкин ва у энг кам имтиёзга эга бўлиши мумкин. Бироқ ушбу хусусият шунчалик ноаниқки, таҳлил мақсади учун маъносиз.

Биба модели

Ушбу бўлимда Биба модели билан танишиб ўтилади. BLP модели конфиденциаллик билан шуғулланган бўлса, Биба модели бутунлик билан шуғулланади. Бошқа сўз билан айтганда, Биба модели BLPнинг бутунликни таъминлаш версияси ҳисобланади.

Агар биз O1 объектнинг бутунлигига ишонсак, бироқ O2 объектнинг бутунлигига ишонмасак, у ҳолда объект 𝑂 иккита O1 ва O2 объектлардан яратилган бўлса, у ҳолда объект 𝑂 нинг бутунлигига ишонмаймиз. Бошқа сўз билан айтилганда объект 𝑂 нинг бутунлиги уни ташкил этган ихтиёрий объектнинг минимал бутунлик даражасидан иборат. Бошқача айтганда, бутунлик учун “паст сув белгиси принципи” ўринли. Бошқа томондан, конфиденциаллик учун “юқори сув белгиси принципи” ўринли.

Биба моделини изоҳлаш учун, 𝐼(𝑂) орқали 𝑂 объектнинг бутунлиги изоҳланса, 𝐼(𝑆) орқали 𝑆 субъектнинг бутунлиги изоҳланади. У ҳолда Биба модели қуйидаги иккита формилировкадан иборат:

Биба моделини изоҳлаш учун, 𝐼(𝑂) орқали 𝑂 объектнинг бутунлиги изоҳланса, 𝐼(𝑆) орқали 𝑆 субъектнинг бутунлиги изоҳланади. У ҳолда Биба модели қуйидаги иккита формилировкадан иборат:

Ёзиш ҳуқуқли қоида: фақат ва фақат 𝐼(𝑂) ≤ 𝐼(𝑆) шарт бажарилса, субъект 𝑆 объект 𝑂 га ёза олади.

Биба модели: фақат ва фақат 𝐼(𝑆) ≤ 𝐼(𝑂) шарт бажарилса, субъект 𝑆 объект 𝑂 ни ўқий олади.

Ёзиш ҳуқуқли қоида ўзида агар биз 𝑆 ёзган бирор нарсага ишонмасак, у ҳолда биз 𝑆 га ҳам ишонмаймиз. Яъни, Биба моделида биз 𝑆 ўқиган энг паст бутунлик объектидан бошқа 𝑆 га ишонмаслигимиз мумкин эмас. Аслида, 𝑆 субъект кичик бутунлиги паст бўлган объект томонидан зарарланиши мумкинлиги сабабли, 𝑆 га бундай объектларни ўқиш тақиқланади (9-расм).

Биба модели аслида жуда чекланган бўлиб, 𝑆 ни ҳаттоки энг қуйи даражадаги бутунлик сатҳидаги объектни ҳам кўриш имкониятидан ҳимоялайди. Шунинг учун Биба моделининг кўп ҳолларда балки барча ҳолларда қуйидаги билан алмаштириш мумкин:

9-расм. Биба модели


Download 0,82 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish