Архив документации OpenNet.ru /
Раздел "Безопасность" /
Индекс
Next: Определение
Up: Модель Белла и Ла-Падулы
Previous: Правила Принятия Решений
Для использования определенной системы безопасности необходимо определение
функций перехода. Эти функции вероятно должны переводить одно состояние
защиты в другое состояние защиты, в соответствии с правилами принятия
решений. Так индукция может использоваться для подтверждения защищенности
любого возможного состояния.
Полный набор этих функций следующий:
- Изменение набора b текущих допусков:
get-access(): добавить значение кортежа из трех элементов в набор
b
release-access(): удалить значение кортежа из набора b
- Изменение матрицы M авторизованных допусков:
give-access-permission(): добавить режим доступа в ячейку M
rescind-access-permission(): удалить режим доступа из ячейки M
- Изменение классификационной функции F:
change-object-level()
change-current-level()
- Изменение иерархии объекта H:
create-object(): создать листок объекта
delete-object-group(): удалить объект вместе с под-объектами из дерева
Next: Определение
Up: Модель Белла и Ла-Падулы
Previous: Правила Принятия Решений
Архив документации на OpenNet.ru