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

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

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

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

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

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

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

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

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

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

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

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

3D моделирование в Mechanical Desktop

Учитывая современные темпы развития технологий, можно с уверенностью сказать, когда речь идет об изучении нового программного обеспечения, даже самый преданный своему делу технолог живет с ощущением постоянного подъема в гору. Так много необходимо изучать, и так мало для этого времени. Мы все прекрасно осознаем необходимость ознакомления с новыми программами и отдаем себе отчет в тех преимуществах, которые сулит новая технология. Но где взять необходимое время? Вот тут и приходит на помощь данный курс Mechanical Desktop 6: краткий визуальный курс. В высшей степени наглядный и достаточно эффективный курс изучения. Излагаемый материал, как быстро поймет читатель, прежде всего, активизирует образное мышление. Созданные в сознании образы в процессе овладения информацией приобретают реальные очертания конкретных процессов. Подобный процесс требует времени и может сделать обучение трудным и болезненно медленным.
Mechanical Desktop 6: краткий визуальный курс ускоряет этот процесс за счет перехода непосредственно к визуальной стадии обучения. Наглядная информация поможет сделать изучение сложных вопросов легким и увлекательным занятием. Четко отработанные пошаговые описания процессов чередуются с поясняющими суть идеи иллюстрациями. Такой подход позволяет не только добиться более быстрого овладения приемами работы, но также дает возможность усвоить большее количество деталей и полнее использовать те преимущества, которые обеспечивает программное обеспечение. Благодаря методическим указаниям вы усвоите основную концепцию, ознакомитесь с деталями. Разделы построены так, что изучение пакета Mechanical Desktop станет быстрым, легким и увлекательным! Независимо от того, являетесь вы новичком в изучении программного обеспечения САПР или ветераном со стажем, Mechanical Desktop 6: краткий визуальный курс покажет, что вы действительно способны победить новое и сложное программное обеспечение для автоматизированного проектирования.

Начало начал
Изгиб


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

---