Функции

Для использования определенной системы безопасности необходимо определение функций перехода. Эти функции вероятно должны переводить одно состояние защиты в другое состояние защиты, в соответствии с правилами принятия решений. Так индукция может использоваться для подтверждения защищенности любого возможного состояния.

Полный набор этих функций следующий:

• Изменение набора b текущих допусков:

release-access(): удалить значение кортежа из набора b

• Изменение матрицы M авторизованных допусков:

rescind-access-permission(): удалить режим доступа из ячейки M

• Изменение классификационной функции F:

change-current-level()

• Изменение иерархии объекта H:

delete-object-group(): удалить объект вместе с под-объектами из дерева