Введение
Глава 1. Исследование и анализ существующих средств и методов лицензионной защиты программного обеспечения на основе цифровых водяных знаков 15
1.1. Постановка задачи внедрения цифровых водяных знаков в программное обеспечение 16
1.2. Атаки на системы цифровых водяных знаков в программном обеспечении 17
1.3. Формальная модель встраивания цифровых водяных знаков в программное обеспечение 23
1А Статические цифровые водяные знаки в программном обеспечение 28
1 АЛ. Встраивание цифровых водяных знаков на уровне бинарного кода 30
1-4.2. Встраивание цифровых водяных знаков на уровне исходного и бинарного кода 36
1.5. Динамические цифровые водяные знаки в программном обеспечении..40
1.5,1. Цифровые водяные -знаки в программном обеспечении на динамических графах 41
1.6. Постановка задачи исследования 45
1.7. Выводы 49
Глава 2. Разработка лицензионной защиты программного обеспечения на основе сетей Петри 51
2.1. Модель лицензионной защиты программного обеспечения 52
2.2. Реализация модели на сетях Петри 58
2.3. Кодирование данных в сетях Петри 60
2Л К вопросу о кодировании данных в других графах 65
2.5. Наращивание сложности сети Петри 66
2.6. Концептуальные свойства сетей Петри , 70
27. Выводы 73
Глава 3. Программная реализация алгоритмов безопасного перехода в сетях Петри 75
3.1. Динамические данные и многопоточное управление системой лицензионной безопасности на сетях Петри 75
3.2. Анализ требований к аппаратным ресурсам со стороны системы лицензионной зашишенности на сетях Петри 78
3.3. Выводы 80
Глава 4, Реализация системы лицензионной безопасности на сетях Петри для защиты конечно-элементного комплекса ACELAN 81
4.1. Архитектура системы лицензионной безопасности ACELAN 81
4.2. Компоненты системы лицензионной безопасности 85
4.3. Модуль идентификации 86
4A ACELAN Security Client 89
4.5. ACELAN Security Server 92
4.6. Модуль контроля целостности 95
4.6.1. Однонаправленные хеш-функции .95
4.6.2. Применение SHA в модуле контроля целостности 96
4.7. Менеджер лицензий 97
4.8. Защита кода от исследования 98
4.8.1, Средства и методы атаки 98
4.8.2. Защита от статического и динамического исследования 101
4.9. Выводы... 104
Заключение 105
Литература
