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

Кўп сатҳли хавфсизлик (multilevel security, MLS) моделлари

• АҚШнинг Department of Defence (ёки DOD) ташкилотида тўртта сатҳдаги классификациялаш ва рухсатномалардан фойдаланилади:
• TOP SECRET > SECRET > CONFIDENTIAL > UNCLASSIFIED.
• Масалан,
• SECRET рухсатномасига эга субъектга SECRET ёки ундан кичик классдаги маълумотлардан фойдаланиш имтиёзи мавжуд.
• Бироқ TOP SECRET классидаги маълумотдан фойдаланиш имтиёзига эга эмас.
• Фараз қилайлик:
• - объект бўлсин;
• унда субъект бўлсин.
• У ҳолда: нинг хавфсизлик сатҳи сифатида ва нинг хавфсизлик сатҳи каби белгиланади.
• DOD тизимида юқоридаги тенгликда кўрсатилган 4 та сатҳли классификациялаш ва рухсатномалардан фойдаланилади.

•  

Ахборотни классификациялаш билан боғлиқ муаммолар

• Мос классификациялаш ҳар доим ҳам аниқ бўлмайди ва иккита малакали фойдаланувчиларда тамомила турлича кўринишларда бўлади.
• Классификациялашда қўлланилувчи донадорлик даражаси ҳам муаммо бўлиши мумкин:
• TOP SECRET бўлган, лекин ҳар бир парагрифи алоҳида олинганда UNCLASSIFIED даражсидаги ҳужжатни яратиш мутлақо мумкин.
• Душман UNCLASSIFIED туридаги ҳужжатларни йиғиш орқали TOP SECRET даражасидаги ҳужжатни ҳосил қилиши мумкин.

Белл-Лападула модели

• MLSнинг кўплаб моделлари мавжуд.
• Белл-Лападула (Bell-LaPadula, BLP) улар орасида энг соддаси.
• BLPнинг асосий мақсади ҳар қандай MLS тизимини қаноатлантириши керак бўлган конфиденциалликка нисбатан минимал талабларни тўплашдир.
• BLP қуйидаги икки формулировкадан ташкил топган:
• Хавфсизликни оддий шарти: агар фақат ва фақат шарт бажарилганда субъект объектни ўқиши мумкин.
• *-Хусусият (эркинликни чеклаш): фақат ва фақат шартда субъект объект га ёзиши мумкин.

•  

Белл-Лападула модели