Тенденции развития технологий синтеза системы защиты информации с помощью smt-решателей
Автор: Попов Глеб Александрович, Тихомирова Татьяна Александровна
Журнал: НБИ технологии @nbi-technologies
Рубрика: Инновации в информатике, вычислительной технике и управлении
Статья в выпуске: 3 (26), 2017 года.
Бесплатный доступ
В статье рассматривается оригинальный подход к решению задачи синтеза системы защиты информации в автоматизированной системе. Предлагается метод кодирования исходной задачи в виде формализованной проблемы для SMT-решателя. Особенностью метода является выражение характеристик средств защиты в виде функций. Приводится формула на языке теории UFLRA, соответствующая исходной задаче. Описывается процесс интерпретации полученных результатов SMT-решателя. Отмечаются недостатки предложенного подхода.
Синтез системы защиты, задача на ограничения, информационная безопасность, автоматизированная система, система с полным перекрытием, принятие решений
Короткий адрес: https://sciup.org/149129728
IDR: 149129728 | DOI: 10.15688/jvolsu10.2017.3.2
Список литературы Тенденции развития технологий синтеза системы защиты информации с помощью smt-решателей
- Основы информационной безопасности. Учебное пособие для вузов / Е. Б. Белов, В. П. Лось, Р. В. Мещеряков, А. А. Шелупанов. - М.: Горячая линия - Телеком, 2006.
