Безопасное состояние является система информационной безопасности термина для описания где объекты в компьютерной системе делятся на субъекты и объекты, и она может быть формально доказано , что каждое состояние переходных пресервы безопасности при переходе от одного безопасного состояния в другое безопасное состояние. Таким образом можно индуктивно доказать, что система безопасна. Как определено в модели Белла – ЛаПадулы , безопасное состояние строится на концепции конечного автомата с набором допустимых состояний в системе. Переход из одного состояния в другое определяется функциями перехода.
Состояние системы определяется как «безопасное», если единственные разрешенные режимы доступа субъектов к объектам соответствуют политике безопасности .
См. Также [ править ]
Ссылки [ править ]
- Фиш, Эрик А .; Уайт, Грегори Б. (2000), Безопасные компьютеры и сети: анализ, проектирование и реализация , Бока-Ратон: CRC Press, стр. 39–42, ISBN 9780849318689, OCLC 849972357 , получено 13 марта 2018 г. CS1 maint: обескураженный параметр ( ссылка )