ТЕНДЕНЦИИ РАЗВИТИЯ ТЕХНОЛОГИЙ СИНТЕЗА СИСТЕМЫ ЗАЩИТЫ ИНФОРМАЦИИ С ПОМОЩЬЮ SMT-РЕШАТЕЛЕЙ
Глеб Александрович Попов
Старший преподаватель, кафедра информационной безопасности,
Волгоградский государственный университет
Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра.
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Татьяна Александровна Тихомирова
Студент кафедры информационной безопасности,
Волгоградский государственный университет
Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра.
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Аннотация. В статье рассматривается оригинальный подход к решению задачи синтеза системы защиты информации в автоматизированной системе. Предлагается метод кодирования исходной задачи в виде формализованной проблемы для SMT-решателя. Особенностью метода является выражение характеристик средств защиты в виде функций. Приводится формула на языке теории UFLRA, соответствующая исходной задаче. Описывается процесс интерпретации полученных результатов SMT-решателя. Отмечаются недостатки предложенного подхода.
Ключевые слова: синтез системы защиты, задача на ограничения, информационная безопасность, автоматизированная система, система с полным перекрытием, принятие решений.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
 2_Popov_Tikhomirova.pmd.pdfURL: https://ti.jvolsu.com/index.php/ru/component/attachments/download/531 | 310 Скачивания |  |