В монографии рассматривается проблема оценки риска кибербезопасности для систем управления технологическими процессами (АСУ ТП) критически важных объектов. На примере АСУ ТП атомных электростанций рассматривается внутренний и внешний контекст оценки риска. Приводятся две методики: для этапа жизненного цикла разработки и этапа эксплуатации АСУ ТП. Рассматривается применение формальных моделей безопасности для оценки риска. Коллективная монография поддержана решением заседания секции «Автоматизированные системы управления» НТС №1 «Ядерные энергетические установки и атомные станции» Госкорпорации «Росатом» по вопросам развития Автоматизированных Систем Радиационного Контроля (АСРК) и обеспечения кибербезопасности АЭС. Научное издание предназначено для специалистов по информационной безопасности промышленных систем, студентов и аспирантов профильных специальностей