19304

Автор(ы): 

Промыслов В. Г. (ИПУ РАН, Лаборатория 31)
Полетыкин А. Г. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

КОНТРОЛЬ КИБЕРБЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ИСПОЛЬЗОВАНИЕМ ФОРМАЛЬНОЙ МОДЕЛИ ДОСТУПА

Электронная публикация: 

Да

ISBN/ISSN: 

SBN 978-5-91450-100-3

Наименование конференции: 

  • 3-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

Наименование источника: 

  • Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

86-100
Аннотация
В данной работе рассмотрена формальная модель с передачей прав доступа политики кибербезопасности информационно- управляющей цифровой системы АЭС. Предложено интегрирование формальной модели безопасности в систему аудита состояния безопасности ИУЦС.

Библиографическая ссылка: 

Промыслов В.Г., Полетыкин А.Г. КОНТРОЛЬ КИБЕРБЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ИСПОЛЬЗОВАНИЕМ ФОРМАЛЬНОЙ МОДЕЛИ ДОСТУПА / Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва). М.: ИПУ РАН, 2012. С. 86-100.