Блокировку объекта могут выполнять одновременно несколько транзакций:
В СУБД необходимо протоколирование:
Если объект управления и управляющий субъект локальные, то можно утверждать, что это случай изолированного рабочего места:
Инструментальные возможности могут потенциально нарушать условия функционирования изолированной программной среды:
Компьютерная система называется корректно управляемой, если поток к объекту управления существует только для субъекта управления:
Конфигурация 3 описывает технологию управления, при которой объект управления и управляющий субъект находятся во внешнем сегменте КС:
КС называется управляемой, если в ней существует субъект, для ассоциированных объектов которого существует поток к объекту управления:
КС с генерацией изолированной программной среды и контролем неизменности объектов-источников называется корректно управляемой в строгом смысле, если возможно размыкание изолированной программной среды:
Наличие эталонного перечня объектов-источников для некоторого программного пакета - условие применения модифицированного метода мягкого администрирования:
Необходимо чтобы транзакция допускала возможность возврата в первоначальное состояние:
Необходимое и достаточное условие для выполнения монитором безопасности объектов заданной политики безопасности - наличие в локальном объекте управления элементов, описывающих потоки между субъектами:
Ограничения позволяют проверять и поддерживать сколь угодно сложные соотношения между элементами данных в базе:
Ошибки в прикладных программах могут привести к нарушению целостности данных:
Поддержание целостности БД состоит в том, чтобы обеспечить корректность взаимосвязей между элементами данных в БД:
Поток должен быть описан в объекте управления, если есть хотя бы один локальный объект, к которому разрешен доступ:
Правила позволяют проверять и поддерживать сколь угодно сложные соотношения между элементами данных в базе:
При классическом подходе к управлению безопасностью требуется физический доступ администратора к локальному сегменту КС:
При существовании изолированной программной среды с контролем неизменности объектов-источников, нарушение изолированной программной среды невозможно:
СУБД может контролировать правильность каждого отдельного значения, вводимого в базу данных:
Уменьшить или блокировать возможности удаленного злоумышленника возможно, если субъект постоянного доступа имеет доступ только на чтение к объектам локального сегмента КС:
Управление защитой в некоторый момент времени описывает политику безопасности применительно к текущему состоянию КС: