44194

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

УПРАВЛЕНИЕ КИБЕРЗАЩИЩЁННОСТЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ КРИТИЧЕСКИ ВАЖНЫХ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ ФОРМАЛЬНЫХ МОДЕЛЕЙ БЕЗОПАСНОСТИ

ISBN/ISSN: 

978-5-91450-199-7

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

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

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

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

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

Т. 2

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2017

Страницы: 

239-242
Аннотация
В работе выделены главные свойства, необходимые для успешного применения моделей для обеспечения кибербезопасности АСУ ТП, такие как соотнесение мер КБ и угроз – возможность автоматически соотносить меры безопасности с угрозами КБ, наличие аналитической модели – наличие встроенной формальной модели, поддержка моделью анализа передачи информации и прав между компонентами системы, масштабируемость задач КБ для всего АСУ ТП и его подсистем

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

Промыслов В.Г., Сакрутина Е.А. УПРАВЛЕНИЕ КИБЕРЗАЩИЩЁННОСТЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ КРИТИЧЕСКИ ВАЖНЫХ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ ФОРМАЛЬНЫХ МОДЕЛЕЙ БЕЗОПАСНОСТИ / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т. 2. С. 239-242.