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

Биба модели

• BLP модели конфиденциаллик билан шуғулланган бўлса, Биба модели бутунлик билан шуғулланади.
• Агар биз объектнинг бутунлигига ишонсак, бироқ объектнинг бутунлигига ишонмасак, у ҳолда объект иккита ва объектлардан яратилган бўлса, у ҳолда объект нинг бутунлигига ишонмаймиз.
• Бошқа сўз билан айтилганда объект нинг бутунлиги уни ташкил этган ихтиёрий объектнинг минимал бутунлик даражасидан иборат.
• Биба моделини изоҳлаш учун, орқали объектнинг бутунлиги изоҳланса, орқали субъектнинг бутунлиги изоҳланади.

•  

Биба модели

• У ҳолда Биба модели қуйидаги иккита формилировкадан иборат:
• Ёзиш ҳуқуқли қоида: фақат ва фақат шарт бажарилса, субъект объект га ёза олади.
• Биба модели: фақат ва фақат шарт бажарилса, субъект объект ни ўқий олади.
• Биба моделида биз ўқиган энг паст бутунлик объектидан бошқа га ишонмаслигимиз мумкин эмас.
• субъект кичик бутунлиги паст бўлган объект томонидан зарарланиши мумкинлиги сабабли, га бундай объектларни ўқиш тақиқланади.

•  

Биба модели

BLP ва Биба моделлари

• BLP конфиденциалликни таъминлаш учун.
• Биба эса бутунликни таъминлаш учун.

Мантиқий ва физик фойдаланишларни бошқариш

• Фойдаланишни бошқаришнинг мантиқий воситалари инфратузилма ва унинг ичидаги тизимларда мандат, тасдиқлаш, авторизация ва мажбуриятлар учун фойдаланилади.
• Фойдаланишни бошқаришнинг мантиқий усули шунингдек, дастур, операцион тизим, маълумотлар базасида ҳам қўлланилиши мумкин.
• Физик фойдалинишни бошқариш механик кўриниш бўлиб, қулфланувчи ҳонадан физик фойдаланишга ўхшатиш мумкин.
• Фойдаланишни бошқаришни аслида мантиқий ва физик турга ажратишнинг ўзи ноаниқ ҳисобланади.
• Масалан, физик назоратлаш одатда дастурлар, картадаги чиплар ва дастурий таъминот орқали ишловчи электрик қулфлар орқали ишлайди. Яъни, бу ўринда физик фойдаланишни мантиқий деб қараш мумкин.

ЭЪТИБОРИНГИЗ УЧУН РАХМАТ!!!