004.492 004.89 UDC 004.4 UDC 004.415.52 artificial intelligence botnet constraints satisfaction formal verification information security intrusion detection intrusion detection systems network flow network traffic analysis neural networks satisfiability modulo theories УДК 004.4 УДК 004.415.52 аналіз мережевих даних ботнети виявлення втручань задача виконуваності обмежень мережеві потоки нейронні мережі системи виявлення вторгнень формальна верифікація штучний інтелект інформаційна безпека