Презентация на тему Проектирование системы защиты информации

учетными записями и правами доступа
подсистема комплексной антивирусной защиты
подсистема межсетевого экранирования
подсистема

обнаружения вторжений, контроля и анализа защищенности
подсистема криптографической защиты
подсистема управления средствами защиты информации
подсистема обеспечения безопасности коммутируемой инфраструктуры и беспроводных сетей
подсистема контроля использования информационных ресурсов
подсистема управления событиями и инцидентами ИБ
подсистема контроля эффективности защиты информации
подсистема обеспечения непрерывности функционирования средств защиты

защиты информации (СЗИ) • разработка средств ЗИ и контроля
•  разработка технического проекта

СЗИ
•  разработка рабочей документации СЗИ
•  подготовка и оформление технической документации на поставку технических и программных средств для СЗИ
•  проектирование помещений АС с учетом требований нормативных   документов по защите информации
•  разработка порядка сопровождения СЗИ в АС
•  разработка порядка и этапов внедрения СЗИ, консультирование  Заказчика при внедрении СЗИ

АС


Первый подход - разработка и внедрение новых информационно-вычислительных систем

(АС), в рамках которых решается весь комплекс проблем информационной безопасности. Этот подход является наиболее перспективным. Однако в процессе функционирования уже созданных ЗАС может понадобиться встраивание новых элементов защиты.


Второй подход - разработка подсистем защиты информации, объединение их в единую систему защиты, налагаемую на уже созданную АС, в которой изначально не предусматривался полный комплекс защитных механизмов. На практике данный подход до настоящего времени является достаточно распространенным, поскольку большое число широко используемых ОС, СУБД и других информационных систем изначально были созданы без должного учёта проблем защиты информации.

двоичного решения

как ограниченный доступ к модулю и однозначность его внешнего

проявления исключают влияние ошибок в других, связанных с ним, модулях на его функционирование;

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

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

отсутствие лексических, синтаксических и семантических ошибок
Complete (полнота) — должны

быть описаны все значимые области требований
Verifiable (проверяемость) — должны содержаться только те требования, которые могут быть численно измерены
Consistent (целостность) — не должно быть конфликтов требований
Modifiable (модифицируемость) —спецификация должна быть легкой в использовании и организации ссылок между требованиями
Traceable (трассируемость) — спецификация должна позволять пошагово отслеживать (трассировать) от требований до предыдущих принятых решений, от документов, расширяющих спецификацию (проектировка и т.д.) к требованиям текущего состояния спецификации

Usable (возможность применения) — спецификация должна без излишних деталей описывать весь жизненный цикл системы

внешним интерфейсам

Нефункциональные требования

Прочие требования

предписание

договорная методология

спецификация как модель

нисходящего и восходящего подходов к их разработке с возможностью

выбора абстрактного описания;

возможность описания параллельной, распределенной и циклической работы;

возможность выбора различных формализованных аппаратов для описания систем.

алгоритмических логик, которые включают высказывание вида:

Q {S} R ,

читается

следующим образом:

"если до исполнения оператора S было выполнено условие Q, то после него будет R".

Здесь Q - предусловие,
R - постусловие.

Предусловие и постусловие - предикаты.

Предоставляют возможности:

• анализировать алгоритмы как математические объекты;

• дать

формальное описание алгоритма, позволяющее интеллектуально охватить алгоритм;

• синтезировать алгоритмы по представленным спецификациям;

• провести формальное верифицирование алгоритма, т.е. доказать корректность его реализации.

алгоритма проводится методом последовательной декомпозиции, с разбивкой общей задачи,

решаемой алгоритмом, на ряд более мелких подзадач;

• критерием детализации подзадач является возможность их реализации с помощью одной конструкции ветвления или цикла;

• разбиение общей задачи на подзадачи предусматривает формулирование пред- и постусловий для каждой подзадачи с целью их корректного проектирования и дальнейшей верификации.

обеспечением АС;

• обеспечение защиты памяти;

• реализация функции файлового ввода-вывода;

•

обеспечение управление процессами.