Безопасность программного обеспечения компьютерных систем

Современный компьютерный мир представляет собой разнообразную и весьма сложную совокупность вычислительных устройств, систем обработки информации, телекоммуникационных технологий, программного обеспечения и высокоэффективных средств его проектирования. Вся эта многогранная и взаимосвязанная метасистема решает огромный круг проблем в различных областях человеческой деятельности, от простого решения школьных задач на домашнем персональном компьютере до управления сложными технологическими процессами.

Предисловие к компьютерному изданию.
Предисловие.
Глава 1. Введение в теорию обеспечения безопасности программного обеспечения.
1.1. Зачем и от кого нужно защищать программное обеспечение компьютерных систем.
1.2. Угрозы безопасности программного обеспечения и примеры их реализации в современном компьютерном мире.
1.3. Базовые научные дисциплины, принятая аксиоматика и терминология.
1.4. Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ.
1.5. Модель угроз и принципы обеспечения безопасности программного обеспечения.
Глава 2. Обеспечение технологической безопасности программного обеспечения.
2.1. Формальные методы доказательства правильности программ и их спецификаций.
2.2. Методы и средства анализа безопасности программного обеспечения.
2.3. Методы обеспечения надежности программ для контроля их технологической безопасности.
2.4. Методы создания алгоритмически безопасных процедур.
2.5. Подходы к защите разрабатываемых программ от автоматической генерации инструментальными средствами программных закладок.
2.6. Методы идентификации программ и их характеристик.
Глава 3. Обеспечение эксплуатационной безопасности программного обеспечения.
3.1. Методы и средства защиты программ от компьютерных вирусов.
3.2. Методы защиты программного обеспечения от внедрения на этапе его эксплуатации и сопровождения программных закладок.
3.3. Методы и средства обеспечения целостности и достоверности используемого программного кода.
3.4. Основные подходы к защите программ от несанкционированного копирования.
Глава 4. Правовая и организационная поддержка процессов разработки и применения программного обеспечения. Человеческий фактор.
4.1. Стандарты и другие нормативные документы, регламентирующие защищенность программного обеспечения и обрабатываемой информации.
4.2. Сертификационные испытания программных средств.
4.3. Безопасность программного обеспечения и человеческий фактор. Психология программирования.
Заключение.
Литература.