Обозначения

· — множество субъектов;

· — множество объектов, ;

· — множество прав доступа, — доступ на чтение, — доступ на запись;

· — множество уровней секретности, — Unclassified, — Sensitive but unclassified, — Secret, — Top secret;

· — решётка уровней секретности, где:

· — оператор, определяющий частичное нестрогое отношение порядка для уровней секретности;

· — оператор наименьшей верхней границы;

· — оператор наибольшей нижней границы.

· — множество состояний системы, представляемое в виде набора упорядоченных пар , где:

· — функция уровней секретности, ставящая в соответствие каждому объекту и субъекту в системе определённый уровень секретности;

· — матрица текущих прав доступа.

Система в модели Белла — Лападулы состоит из следующий элементов:

· — начальное состояние системы;

· — множество прав доступа;

· — функция перехода, которая в ходе выполнения запросов переводит систему из одного состояния в другое.

Поиск по сайту: