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