План
11.1 Общая характеристика задач моделирования КСЗИ
11.2 Формальные модели безопасности и их анализ
11.2.1 Классификация формальных моделей безопасности
11.2.2 Модели обеспечения конфиденциальности
11.2.3 Модели обеспечения целостности
11.2.4 Субъектно-ориентированная модель
11.3 Прикладные модели защиты информации в АС
11.4 Формальное построение модели защиты: пример
11.4.1 Описание объекта защиты
11.4.2 Декомпозиция АС на субъекты и объекты
11.4.3 Модель безопасности: неформальное описание
11.4.4 Декомпозиция системы защиты информации
11.4.5 Противостояние угрозам. Реализация системы защиты информации субъекта АС субъектно-объектной модели
11.5 Формализация модели безопасности
11.5.1 Процедура создания пары субъект-объект, наделение их атрибутами безопасности
11.5.2 Осуществление доступа субъекта к объекту
11.5.3 Взаимодействие с внешними сетями
11.5.4 Удаление субъекта-объекта