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