Введение
1. Постановка задачи расширенного и уточненного моделирования субъектов общего контекста безопасности (окб) в нотации общих критериев . 23
1.1. Сущность и спецификация стандарта ISO/IEC 15408 «Common Criteria for Information Technology Security Evaluation» 23
1.1.1 Анализ эволюции линейки стандартов «Общие Критерии». 23
1.1.2. Актуальность формального моделирования ОКБ ОК 26
1.2 Структурное и формальное моделирование ОКБ 27
1.2.1. Структурная модель Общего Контекста Безопасности 27
1.2.2. Формализованная системотехническая модель взаимодействия субъектов ОКБ. 31
1.3. Математическое и имитационное моделирование взаимодействия
субъектов ОКБ. 33
1.3.1 Математическое моделирование ОКБ. 33
1.3.2 Имитационное моделирование взаимодействия субъектов ОКБ. 36
1.3.3 Методика имитационного моделирования взаимодействия субъектов ОКБ. 40
Заключение по главе 1 47
2. Формальные модели общего контекста безопасности в нотации общих критериев . 49
2.1. Описание ОКБ ОК. 49
2.2. Структурная модель дуального взаимодействия субъектов ОКБ. 51
2.3. Формализованная системотехническая модель взаимодействия субъектов ОКБ 58
2.3.1 Формализованное описание конкурентного взаимодействия субъектов ОКБ. 58
2.3.2. Принципы взаимодействия макросистем. 59
2.3.3. Особенности моделей конкурирующих информационно-технических объектов. 61
2.3.4. Оценки проектных решений по критерию «эффективность-стоимость» 64
2.4. Математическая балансная модель общего контекста безопасности. 67
2.5 Имитационная модель конфликтного взаимодействия субъектов ОКБ. 69
2.5.1. Описание сущности модели. 69
2.5.2. Принцип работы модели 72
2.6 Заключение по главе 2. 76
3. Методика использования технологических средств моделирования дуального конкурентного взаимодействия . 77
3.1. Алгоритмическое описание использования технологических
средств моделирования. 77
3.1.1. Общие задачи анализа эффективности деятельности СЗИ. 77
3.1.2 Методика анализа эффективности деятельности СЗИ . 78
3.2. Принципы работы моделирующего комплекса. 81
3.2.1 .Функциональное назначение 81
3.2.2.0писание логики. 82
3.2.3 Результаты анализа 83
3.3. Описание программной части моделирующего комплекса. 83
3.3.1 Назначение программы 83
3.3.2. Выполнение программы 84
3.3.3. Сообщения оператору 84
Заключение по главе 3. 87
4. Разработка методов функционального анализа стандарта исо\мэк 15408 с учетом дуального конкурентного взаимодействия . 88
4.1 Инновационные аспекты функционального анализа стандарта ИСО\МЭК 15408. 88
4.2 Обоснование использования функциональной модели оценки состояния СЗИ в контексте дуального конкурентного взаимодействия. 89
4.3. Расширение классов защищенности стандарта ИСО\МЭК 15408 с учетом дуального конкурентного взаимодействия . 91
4.4 Анализ дуального конкурентного взаимодействия в контексте использования технологических средств моделирования. 93
Заключение по главе 4. 96
Заключение. 97
Литература
