Математична решітка як основа розмежування прав доступу

Abstract

Метою роботи є демонстрація ключової ролі теорії решіток як математичного фундаменту для побудови систем розмежування прав доступу. Розглянуто побудову решітки класів безпеки на основі аксіом Деннінга, та діаграми Гассе, та як за допомогою решіток будується чітка ієрархія рівнів доступу та категорій секретності.The aim of the work is to demonstrate the key role of lattice theory as a mathematical foundation for building access rights delimitation systems. The construction of a lattice of security classes based on Denning's axioms and Hasse diagrams is considered, and how a clear hierarchy of access levels and categories of secrecy is built using lattices. The use of lattices is also shown using the example of the Bell-LaPadula model.