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

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

Биба модели

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

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

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

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

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

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

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

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

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