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