В данной работе был разработан программный модуль для автоматизированной верификации политик межсетевых экранов, предназначенный для интеграции в эксплуатационные процессы. Модуль выполняет нормализацию и валидацию входных данных, выявление ошибок в правилах и анализ структуры политики, опираясь на операции над множествами. На вход принимается текстовый формат политики, результатом работы является детализированный отчет с идентификаторами проблемных правил. Реализация на Python обеспечивает простоту интеграции и развертывания. Тестирование на синтетических и реальных политиках подтвердило корректность и эффективность обнаружения ошибок.

Фильченко А.П. (науч. рук. Савков С.В.) Разработка программного модуля для поиска ошибочных правил и анализа структуры политики межсетевых экранов // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2026]. URL: https://kmu.itmo.ru/digests/article/17501