Computer Security Models

2024/2025

Academic Year

RUS

Instruction in Russian

5

ECTS credits

Delivered at:

Department of Computer Security

Course type:

Compulsory course

When:

4 year, 1, 2 module

Instructor

Kabanov, Artem S.

Программа дисциплины

Аннотация

Данная дисциплина относится к базовой части Профессионального цикла (Major), проводится на 4 курсе обучения и является обязательной. Для освоения учебной дисциплины студенты должны владеть базовыми знаниями и компетенциями, полученными при изучении следующих дисциплин: Основы информационной безопасности, Информатика, Теория информации, Аппаратные средства вычислительной техники, Защита в операционных системах, Криптографические методы защиты информации, Математическая логика и теория алгоритмов, Основы построения защищенных баз данных, Основы построения защищенных компьютерных сетей. Результаты освоения дисциплины используются в дальнейшем при прохождении производственной и преддипломной практик, при выполнении выпускной квалификационной работы.

Цель освоения дисциплины

• • Теоретическая и практическая подготовка специалистов к деятельности, связанной с защитой информации • Обучение общим принципам построения моделей безопасности и политик безопасности, основным методам исследования корректности систем защиты, методологии обследования и проектирования систем защиты

Планируемые результаты обучения

• Знают модели безопасности информационных потоков, их достоинства и недостатки
• Знают модели оценки различных систем защиты и сферы применения моделирования в интересах информационной безопасности
• Знают модели ролевого управления доступа, их достоинства и недостатки
• Знают модель Take-Grant, ее достоинства и недостатки
• Знают модель Белла-ЛаПадулы, ее достоинства и недостатки
• Знают модель ИПС, ее достоинства и недостатки
• Знают модель систем военных сообщений, ее достоинства и недостатки
• Знают модель ТДМ, ее достоинства и недостатки
• Знают модель ХРУ, ее достоинства и недостатки
• Знают основные стандарты и спецификации
• Знают проблемы адекватности моделей безопасности
• Знают проблемы построения защищенных КС
• Знают расширенную модель Take-Grant, ее достоинства и недостатки
• Знают угрозы безопасности информации, понятие политики безопасности и их типы
• Умеют вычислять конечное число состояний системы
• Умеют моделировать системы с требуемым уровнем защищенности
• Умеют применять модели ценности информации

Содержание учебной дисциплины

• Сущность, субъект, доступ, информационный поток
• Угрозы безопасности информации. Политика безопасности
• Стандарты и спецификации
• Модели систем защиты информации
• Модель матрицы доступов Харрисона-Руззо-Ульмана
• Модель типизированной матрицы доступов
• Классическая модель распространения прав доступа Take-Grant
• Расширенная модель распространения прав доступа Take-Grant
• Модель Белла-ЛаПадулы
• Модель систем военных сообщений
• Модели безопасности информационных потоков
• Субъектно-ориентированная модель изолированной программной среды
• Модель ролевого управления доступом
• Взаимосвязь положений и основные направления развития формальных моделей безопасности компьютерных систем
• Материалы

Элементы контроля

• Экзамен
• Аудиторная активность
• Контрольная работа

Промежуточная аттестация

• 2024/2025 2nd module
  0.3 * Аудиторная активность + 0.1 * Контрольная работа + 0.6 * Экзамен

Список литературы

Рекомендуемая основная литература

• Основы информационной безопасности : учеб.пособие, Кабанов, А. С., 2012

Рекомендуемая дополнительная литература

• Модели безопасности компьютерных систем : управление доступом и информационными потоками, Девянин, П. Н., 2016
• Теоретические основы компьютерной безопасности : учеб. пособие, Кабанов, А. С., 2012
• Теоретические основы компьютерной безопасности : учеб.пособие, Девянин, П. Н., 2000

Авторы

• Кабанов Артем Сергеевич