Разработка формальной модели подбора наиболее оптимального Web Application Firewall (WAF)