Безопасное состояние - Secure state

А безопасное состояние является информационные системы безопасность термин, чтобы описать, где объекты в компьютерная система делятся на субъекты и объекты, и можно формально доказать, что каждый переход состояния сохраняет безопасность, переходя из одного безопасного состояния в другое безопасное состояние. Тем самым это может быть индуктивно доказано, что система безопасна. Как определено в Модель Белла – ЛаПадулы, безопасное состояние построено на концепции Государственный аппарат с набором допустимых состояний в системе. Переход из одного состояния в другое состояние определяется функциями перехода.

Состояние системы определяется как «безопасное», если единственные разрешенные режимы доступа субъектов к объектам соответствуют политика безопасности.

Смотрите также

• Модель Белла – ЛаПадулы
• TCSEC - Оранжевая книга

Рекомендации