Курс на Stepik
Обложка курса «Модели безопасности компьютерных систем» на Stepik
Бесплатно

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

Открыть на
STEPIK.ORG

Математика безопасности: от аксиом — к доказательствам, от моделей — к защите. На этом курсе вас ждет изучение теоретических основ компьютерной безопасности. Здесь вы познакомитесь с фундаментальными принципами защиты цифровых систем и сможете не только пользоваться безопасностью, но и создавать ее.

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Модели безопасности компьютерных систем»Учеников на курсе 44
Сертификаты, выданные на курсе «Модели безопасности компьютерных систем»Сертификатов выдано 0
Отзывы о курсе «Модели безопасности компьютерных систем»Отзывов получено 1
Рейтинг курса «Модели безопасности компьютерных систем»Рейтинг курса 5.000
Уроки в курсе «Модели безопасности компьютерных систем»Количество уроков 38
Тесты в курсе «Модели безопасности компьютерных систем»Количество квизов 59
Время прохождения курса «Модели безопасности компьютерных систем»Время прохождения курса
Обновления курса «Модели безопасности компьютерных систем»Обновления курса
Дата публикации курса «Модели безопасности компьютерных систем»Дата публикации курса
Последнее обновление курса «Модели безопасности компьютерных систем»Последнее обновление
Сложность normal

Содержание курса

Разделы в курсе «Модели безопасности компьютерных систем» 8 разделов Уроки в курсе «Модели безопасности компьютерных систем» 38 уроков Тесты в курсе «Модели безопасности компьютерных систем» 59 тестов Время прохождения курса «Модели безопасности компьютерных систем» 0 ч. Последнее обновление курса «Модели безопасности компьютерных систем» обн. 16 июня 2026

Теория ИБ в рамках субъект-сущностного подхода

3 урока
1. Субъект-сущностный подход
2. Политики управления доступом
3. Информационные потоки

Математические основы моделей безопасности

4 урока
1. Автомат
2. Граф
3. Алгоритмически разрешимые и алгоритмически неразрешимые проблемы
4. Решетка

Модели систем дискреционного разграничения доступа

2 урока
1. ХРУ
2. Модель типизированной матрицы доступа (ТМД)

TAKE-GRANT

3 урока
1. Классическая модель
2. Расширенная модель
3. Построение замыкания графа доступов и информационных потоков

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

7 уроков
1. Модель Беллы-Лападулы
2. Запросы к системе
3. Свойства безопасности
4. Базовая теорема безопасности
5. Модификации модели Белла-Лападулы
6. Запрещенные информационные потоки и безопасность переходов
7. Модель целостности Биба

Система военных сообщений (СВС)

6 уроков
1. Введение и основные определения СВС
2. Постулаты безопасности
3. Правила авторизации и иерархия уровней
4. Доступ к сущностям с атрибутом CCR и косвенные ссылки
5. Формальное описание модели СВС
6. Безопасность переходов

Модель ролевого разграничения доступа

5 уроков
1. Базовая модель ролевого управления доступом (RBAC)
2. Ограничения в RBAC
3. Модель администрирования ролевого управления доступом
4. Расширенные типы ролей: возможности, группы, объединения
5. Итоговый тест по модулю

Мандатные и ролевые модели управления доступом

8 уроков
1. Мандатное управление доступом: базовые понятия
2. Мандатное ролевое управление доступом
3. Мандатный контроль целостности
4. Комбинированная модель: конфиденциальность + целостность
5. С-О модель и изолированная программная среда
6. Автоматная модель безопасности информационных потоков
7. Вероятностные модели: невыводимость и невлияние
8. Базовая модель атрибутивного управления доступом