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

       

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

Предисловие
Зачем и от кого нужно защищать программное обеспечение компьютерных систем

Угрозы безопасности программного обеспечения и примеры их реализации в современном компьютерном мире
Угрозы безопасности программного
Теоретические основы
Основные предположения и ограничения

Используемая терминология
Жизненный цикл программного обеспечения
Модель угроз и принципы обеспечения безопасности программного обеспечения
Подход к созданию модели угроз технологической безопасности по
Проектирование
Кодирование


Отладка и испытания
Контроль
Эксплуатация

Элементы модели угроз эксплуатационной безопасности по
Основные принципы обеспечения безопасности по
Формальные методы доказательства правильности программ и их спецификаций

Методы и средства анализа безопасности программного обеспечения
Контрольно-испытательные методы анализа безопасности программного обеспечения
Логико-аналитические методы контроля безопасности программ
Методы обеспечения надежности программ для контроля их технологической безопасности

Постановка задачи
Методы создания самотестирующихся и самокорректирующихся программ для решения вычислительных задач
Создание безопасного программного обеспечения на базе методов теории конфиденциальных вычислений
Создание безопасного программного
Криптопрограммирование
Защита программ и забывающее моделирование на ram-машинах

Подходы к защите разрабатываемых
Идентификация программ по внутренним характеристикам
Способы оценки подобия целевой и исследуемой программ с точки зрения наличия программных дефектов
Способы оценки подобия целевой

Общая характеристика и классификация компьютерных вирусов
Общая характеристика средств нейтрализации компьютерных вирусов
Классификация методов защиты от компьютерных вирусов

Классификация средств исследования программ
Методы защиты программ от исследования
Анализ программ на этапе их эксплуатации
Методы защиты программ от несанкционированных изменений
Краткое описание криптографических средств контроля целостности и достоверности программ

Основные методы защиты от копирования
Методы противодействия динамическим способам снятия защиты программ от копирования
Международные стандарты в области информационной безопасности
Отечественная нормативно-правовая база, под действие которой подпадают ас различного назначения
Отечественная нормативно-правовая
Сертификационные испытания программных средств
Человеческий фактор

Информационная война
Психология программирования
Заключение
Литература

Содержание раздела