TY CONF TI LOW-CODE СРЕДА ПРОЕКТИРОВАНИЯ И ТЕСТИРОВАНИЯ ПОЛИТИК БЕЗОПАСНОСТИ В КОНВЕЙЕРЕ ПОСТАВКИ ИНФРАСТРУКТУРЫ «КАК КОД» (IaC) KW DevSecOps KW Infrastructure as Code KW Policy-as-Code KW формальная модель KW статический анализ KW автоматизация безопасности JO МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026 AU Тарлыков, С.С. AU Тюнина, А.М. PY 2026 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова