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