Безопасное состояние

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

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

См. также

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

Ссылки

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