intrusion detection systems neural networks 2 нейронні мережі 2 системи виявлення вторгнень 2 004.492 1 004.89 1 UDC 004.415.52 1 adversarial attacks 1 botnets 1 constraints satisfaction 1 data augmentation 1 formal verification 1 network flows 1 network traffic analysis 1 satisfiability modulo theories 1 УДК 004.415.52 1 аналіз мережевих даних 1 ботнети 1 ботнеты 1 доповнення даних 1 дополнение данных 1 задача виконуваності обмежень 1 змагальні атаки 1 мережеві потоки 1 нейронные сети 1 сетевые потоки 1 системы обнаружения вторжений 1 соревновательные атаки 1 формальна верифікація 1