| Каталог документации / Раздел "Безопасность" / Оглавление документа |
| |
|
Для использования определенной системы безопасности необходимо определение функций перехода. Эти функции вероятно должны переводить одно состояние защиты в другое состояние защиты, в соответствии с правилами принятия решений. Так индукция может использоваться для подтверждения защищенности любого возможного состояния.
Полный набор этих функций следующий:
release-access(): удалить значение кортежа из набора b
rescind-access-permission(): удалить режим доступа из ячейки M
change-current-level()
delete-object-group(): удалить объект вместе с под-объектами из дерева
