Вашему
вниманию предлагается электронный вариант книги "Казарин О.В. Теория и
практика защиты программ". Данная работа является дополненным и
существенно переработанным вариантом издания "Казарин О.В. Безопасность
программного обеспечения компьютерных систем. - М.: МГУЛ, 2003",
опубликованным, в том числе, и на данном сайте.
Автор по-прежнему будет очень признателен всем заинтересованным
читателям, которые выскажут свои замечания, предложения и пожелания по
сути и деталям представленной Вам работы.
Оглавление :
ГЛАВА 1.
ВВЕДЕНИЕ В ТЕОРИЮ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
ГЛАВА 2. формальные методы доказательства правильности программ и их спецификаций
ГЛАВА 3. Конфиденциальные вычисления
ГЛАВА 4. самотестирующиЕся и самокорректирующиеся программы
ГЛАВА 5. Защита программ и забывающее моделирование на RAM-машинах
ГЛАВА 6. Криптопрограммирование
ГЛАВА 7. Методы и средства анализа безопасности программного обеспечения
ГЛАВА 8. Методы обеспечения надежности программ, используемые для контроля их технологической безопасности
ГЛАВА 9. Подходы к защите разрабатываемых программ от автоматической генерации инструментальными средствами программных закладок
ГЛАВА 10. Методы идентификации программ и их характеристик
ГЛАВА 11. Методы и средства защиты программ от компьютерных вирусов
ГЛАВА 12. Методы защиты программного обеспечения от исследовании
ГЛАВА 13. Методы и средства обеспечения целостности и достоверности используемого программного кода
ГЛАВА 14. Основные подходы к защите программ от несанкционированного копирования
