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