Формально-логическая модель управления защищенностью массивов данных в автоматизированных системах управлениядоклад на конференции