Например, Бобцов

МЕТОД ФОРМАЛЬНОГО ПРОЕКТИРОВАНИЯ СИСТЕМЫ ЗАЩИТЫ

Сборник тезисов
Конференция:II Всероссийский конгресс молодых ученых
Раздел:Сборник тезисов докладов конгресса молодых ученых. Выпуск 1
Рубрика:ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ, ПРОЕКТИРОВАНИЕ, ТЕХНОЛОГИЯ ЭЛЕМЕНТОВ И УЗЛОВ КОМПЬЮТЕРНЫХ СИСТЕМ
Год:2013

МЕТОД ФОРМАЛЬНОГО ПРОЕКТИРОВАНИЯ СИСТЕМЫ ЗАЩИТЫ

УДК:004.056.5

Аннотация

<p>Постановка проблемы. Существующие критерии для проектирования системы<br /> защиты основываются на защите от конкретной атаки. Они не рассматривают атаку как<br /> взаимосвязанную последовательность реализаций угроз, и не учитывают тот фактор, что не<br /> эффективно строить защиту, основываясь на определенной угрозе.<br /> Цель работы. Разработка метода формального проектирования системы защиты на<br /> основе представления атаки на направленном графе и его оптимизация с целью найти такую<br /> угрозу, нивелирование которой позволит минимизировать риск.</p>

Материалы конференций