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

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

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

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

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

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

Разделы в курсе «Модели безопасности компьютерных систем» 8 разделов Уроки в курсе «Модели безопасности компьютерных систем» 38 уроков Тесты в курсе «Модели безопасности компьютерных систем» 59 тестов Время прохождения курса «Модели безопасности компьютерных систем» 1 ч. Последнее обновление курса «Модели безопасности компьютерных систем» обн. 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. Базовая модель атрибутивного управления доступом ↗