Введение
ГЛАВА I. Задача обеспечения безопасности протоколов информационного обмена 10
1.1 Общесистемные вопросы организации информационного обмена 10
1.1.1 Протоколы информационного обмена 11
1.1.2 Средства моделирования информационных процессов 12
1.1.3 Криптографические методы, используемые в ПИО . 16
1.2 Современные требования безопасности протоколов , 22
1.3 Несостоятельности протоколов 25
1.4 Обзор существующих методов анализа протоколов 29
1.4.1 Модель Долева-Яу 30
1.4.2 BAN - логика 31
1.4.3 STC-исчислєниє 36
1.4.4 Анализ протоколов с использованием алгебры CSP 39
1.5 Ограничения формальных методов анализа 43
1.6 Постановка задачи 45
1.7 Выводы 47
ГЛАВА II. Теоретические основы разработки математического обеспечения системы 49
2.1 Метод организации математических преобразований 50
2.1.1 Алгоритмы преобразований над данными 50
2.1.2 Преобразования в группах точек эллиптической кривой 52
2.2 Представление протоколов , 57
2.2.1 Вербальное описание 58
2.2.2 Нотация для представления протоколов 59
2.2.3 Автоматное представление протоколов 66
2.3 Выводы 73
ГЛАВА III. Проектирование системы 76
3.1 Общие требования к системе 74
3.2 Метод анализа протоколов 79
3.3 Архитектура системы , 81
3.4 Определение функциональных возможностей S3
3.4.1 Функциональность подсистемы управления сообщениями 86
3.4.2 Функциональность подсистемы эмуляции атак 90
3.4.3 Функциональность подсистемы мониторинга 92
3.4.4 Функциональность подсистемы администрирования , 94
3.4.5 Функциональность подсистемы математических преобразований 95
3.5 Модель данных 98
3.5.1 Концептуальная модель данных информационного обмена 99
3.5.2 Концептуальная модель данных для эмуляции атак 102
3.6 Выводы 106
ГЛАВА IV. Сетевой программный комплекс "ИКАМ" и его использование 107
4.1 Технологические аспекты реализации сетевого ПК "ИКАМ" 107
4.2 Режимы использования 110
4.2.1 Анализ протоколов 110
4.2.2 Анализ протокола "слепой" подписи для эллиптических кривых 111
4.2.3 Анализ протокола Нидхема-Шредера в двух параллельных сессиях 116
4.2.4 Экспериментальное исследование протоколов , 119
4.2.5 Дистанционное обучение 123
4.2.6 Итерационный подход к проектированию протоколов , 124
4.3 Инсталляция сетевого ПК "ИКАМ" 127
4.3.1 Состав 127
4.3.2 Инсталляция 128
4.3.3 Результаты эксплуатации 130
4.4 Выводы 131
Заключение 132
Литература 135
Приложения 144
