Борисовская А.А. АВТОМАТИЗИРОВАННАЯ НЕЙТРАЛИЗАЦИЯ НАГРУЗОЧНЫХ АТАК: МЕТОД ГЕНЕРАЦИИ И ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРАВИЛ МЕЖСЕТЕВОГО ЭКРАНА НА ОСНОВЕ LLM И SMT-РЕШАТЕЛЯ // Экспериментальные и теоретические исследования в современной науке: сб. ст. по матер. CXXV междунар. науч.-практ. конф. № 5(117). – Новосибирск: СибАК, 2026.