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

Казарин О.В.
Теория и практика защиты программ.
– 2004. – 450 с.

Оглавление
ГЛАВА 1.
ВВЕДЕНИЕ В ТЕОРИЮ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

ГЛАВА 2. формальные методы доказательства правильности программ и их спецификаций

ГЛАВА 3. Конфиденциальные вычисления

ГЛАВА 4. самотестирующиЕся и самокорректирующиЕся программы

ГЛАВА 5. Защита программ и забывающее моделирование на RAM-машинах
ГЛАВА 6. Криптопрограммирование

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

ГЛАВА 9. Подходы к защите разрабатываемых программ от автоматической генерации инструментальными средствами программных закладок
ГЛАВА 10. Методы идентификации программ и их характеристик
ГЛАВА 11. Методы и средства защиты программ от компьютерных вирусов
ГЛАВА 12. Методы защиты программного обеспечения от исследовании
ГЛАВА 13. Методы и средства обеспечения целостности и достоверности используемого программного кода

ГЛАВА 14. Основные подходы к защите программ от несанкционированного копирования

PDF
ZajitaProgramm(infanata.org).rar 2,840,975 байт