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

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

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

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

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

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

• Fisch, Eric A .; Белый, Грегори Б. (2000), Безопасность компьютеров и сетей: анализ, проектирование и реализация, Бока-Ратон: CRC Press, стр. 39–42, ISBN  9780849318689, OCLC  849972357, получено 13 марта 2018