Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого управления доступом, безопасности информационных потоков и изолированной программной среды. Описан используемый в рассматриваемых моделях математический аппарат. Классические модели дополнены ориентированными на применение в современных компьютерных системах моделями безопасности логического управления доступом и информационными потоками (ДП-моделями). Приведены примеры решения задач на практических занятиях. Изложены методические рекомендации по организации изучения моделей безопасности компьютерных систем. Для студентов вузов, обучающихся по специальностям направления подготовки 090300 – "Информационная безопасность вычислительных, автоматизированных и телекоммуникационных систем" и направления подготовки 090900 – "Информационная безопасность", преподавателей и специалистов в области защиты информации.
Дополнительно: Уважаемые покупатели на выкуп заказа отводиться семь дней с момента подтверждения наличия книги, по истечении данного срока заказ анулируется. При заказах на сумму более 5000 р. возможен прием оплаты от организаций по безналичному расчету.