TY CONF TI LOW-CODE ENVIRONMENT FOR DESIGNING AND TESTING SECURITY POLICIES IN INFRASTRUCTURE-AS-CODE DELIVERY PIPELINES KW DevSecOps KW Infrastructure as Code KW formal model KW static analysis KW security automation JO MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2026 AU Tarlykov, S.S. AU Tyunina, A.M. PY 2026 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov