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

Приводится содержание трех обзорных лекций по дисциплине “Модели безопасности компьютерных систем”. Рассматриваются основные свойства классических моделей дискреционного, мандатного, ролевого управления доступом, безопасности информационных потоков и изолированной программной среды, а также моделей безопасности логического управления доступом и информационными потоками (ДП-моделей). Формулируются наиболее интересные задачи для практических занятий по дисциплине.