The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Каталог документации / Раздел "Безопасность" / Оглавление документа
next up previous
Next: Определение Up: Модель Белла и Ла-Падулы Previous: Правила Принятия Решений

Функции

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

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

get-access(): добавить значение кортежа из трех элементов в набор b

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

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

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

change-object-level()

change-current-level()

create-object(): создать листок объекта

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


next up previous
Next: Определение Up: Модель Белла и Ла-Падулы Previous: Правила Принятия Решений


Спонсоры:
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2021 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру