Модели безопасности компьютерных систем

Учебное пособие посвящено фундаментальным основам информационной безопасности компьютерных систем. В книге изложены основные понятия, стандарты и критерии информационной безопасности, что делает её ценным ресурсом для понимания нормативной базы и теоретических подходов к защите информации.

Особое внимание уделено классическим моделям безопасности, которые составляют теоретический фундамент дисциплины. Подробно рассмотрены модель матрицы доступов Харрисона–Руззо–Ульмана (ХРУ), модель распространения прав доступа Take-Grant, а также мандатные модели, включая знаменитую модель Белла–Лападулы для конфиденциальности и модель Биба для целостности.

В пособии также анализируются модели для систем с ролевым управлением доступом (RBAC), включая базовую модель, вопросы администрирования и мандатное ролевое управление. Рассматриваются модели безопасности информационных потоков, включая автоматные и вероятностные подходы, а также модель систем военных сообщений. Книга предназначена для формирования систематических знаний о формальных методах обеспечения безопасности компьютерных систем.