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