Теория и практика защиты программ



ЗАКЛЮЧЕНИЕ - часть 5


5.7. Нетривиальное решение задачи забывающего

моделирования.................................................................... 194

5.8. Заключительные замечания............................................... 201

ГЛАВА 6. Криптопрограммирование..................................... 203

6.1. Криптопрограммирование посредством использования инкрементальных алгоритмов.......................................................................... 203

6.2. Основные элементы инкрементальной криптографии.... 205

6.3. Методы защиты данных посредством инкрементальных алгоритмов маркирования...................................................................... 207

6.4. Вопросы стойкости инкрементальных схем.................... 212

6.5. Применение инкрементальных алгоритмов для защиты от вирусов 213

ГЛАВА 7. Методы и средства анализа безопасности программного обеспечения................................................................... 215

7.1. Общие замечания................................................................. 215

7.2. Контрольно-испытательные методы анализа безопасности программного обеспечения......................................................................... 215

7.3. Логико-аналитические методы контроля безопасности программ  219

7.4. Сравнение логико-аналитических и контрольно-испытательных методов анализа безопасности

программ.............................................................................. 223

7.5. Способы тестирования программного обеспечения при испытаниях его на технологическую безопасность....................................... 226

7.6. Метод расчета вероятности наличия РПС на этапе испытаний программного обеспечения вычислительных задач...... 253

7.7. Подходы к исследованию сложных программных

комплексов.......................................................................... 262

ГЛАВА 8. Методы обеспечения надежности программ, используемые для контроля их технологической безопасности       274




Содержание  Назад  Вперед