В данной работе рассмотрены особенности современных АСУ ТП АЭС с точки зрения обеспечения кибербезопасности. Обосновывается необходимость применения формальных моделей безопасности для описания их политик и сформулированы требования к моделям. Дана краткая характеристика типовой системы кибербезопасности АЭС на примере разработанной Институтом Проблем управления РАН системы управления верхнего блочного уровня для АЭС “Бушер” (Иран) и” Куданкулам” (Индия).