Библиографическая ссылка:
Промыслов В.Г., Сакрутина Е.А. УПРАВЛЕНИЕ КИБЕРЗАЩИЩЁННОСТЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ КРИТИЧЕСКИ ВАЖНЫХ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ ФОРМАЛЬНЫХ МОДЕЛЕЙ БЕЗОПАСНОСТИ / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т. 2. С. 239-242.