|
Труды СПИИРАН, 2012, выпуск 22, страницы 113–138
(Mi trspy522)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Верификация правил фильтрации с временными характеристиками методом “проверки на модели”
О. В. Полубелова, И. В. Котенко Федеральное государственное бюджетное учреждение науки Санкт-Петербургский институт информатики и автоматизации РАН
Аннотация:
В статье описывается подход к верификации правил фильтрации межсетевого экрана, в том числе представляются модели, алгоритмы и разработанный программный прототип, предназначенные для обнаружения аномалий фильтрации в спецификации политики безопасности компьютерной сети. Предлагаемый подход основан на применении метода “проверки на модели” (Model Checking) и позволяет использовать темпоральную логику для спецификации и анализа информационных процессов, протекающих в модели компьютерной сети c функционирующей системой безопасности, которые изменяются во времени и могут нарушить такие свойства безопасности, как конфиденциальность и доступность.
Ключевые слова:
сетевая безопасность, верификация, проверка на модели, аномалии правил фильтрации.
Поступила в редакцию: 13.06.2012
Образец цитирования:
О. В. Полубелова, И. В. Котенко, “Верификация правил фильтрации с временными характеристиками методом “проверки на модели””, Тр. СПИИРАН, 22 (2012), 113–138
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy522 https://www.mathnet.ru/rus/trspy/v22/p113
|
Статистика просмотров: |
Страница аннотации: | 654 | PDF полного текста: | 108 | Список литературы: | 44 | Первая страница: | 1 |
|