основная | линия жизни | семейная хроника | булгаковский Киев
		врач Булгаков | булгаковская Москва | новости | галерея

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

2007-04-27 08:21:12

Предыдущие новости: PHP глазами хакера