19305

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Применение формальной модели для контроля кибербезопасности цифровой системы управления

ISBN/ISSN: 

ISBN 978-5-91450-115-7

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

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

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

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

т. 2

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2012

Страницы: 

271-273
Аннотация
В данной работе рассмотрено интегрирование формальной модели безопасности в систему аудита состояния безопасности цифровой системы управления.

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

Промыслова О.А. Применение формальной модели для контроля кибербезопасности цифровой системы управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т. 2. С. 271-273.