TY - JOUR AU - Франческо Меркальдо AU - Фабио Мартинелли AU - Антонелла Сантоне PY - 2022/03/15 Y2 - 2024/03/28 TI - Проверка модели для обнаружения атак в реальном времени в системах распределения воды JF - Информатика и автоматизация JA - ИА VL - 21 IS - 2 SE - Информационная безопасность DO - 10.15622/ia.21.2.1 UR - http://ia.spcras.ru/index.php/sp/article/view/14977 AB - Системы распределения воды представляют собой критическую инфраструктуру. Эти архитектуры очень важны, и нестандартное поведение может отразиться на безопасности человека. Фактически, злоумышленник, получивший контроль над такой архитектурой, может нанести множество повреждений как инфраструктуре, так и людям. В этой статье мы предлагаем подход к выявлению нестандартного поведения, ориентированного на системы распределения воды. Разработанный подход рассматривает формальную среду проверки. Журналы, полученные из систем распределения воды, анализируются в формальную модель, и, используя временную логику, мы характеризуемповедение системы распределения воды во время атаки. Оценка, относящаяся к системе распределения воды, подтвердила эффективность разработанного подхода при выявлении трех различных нестандартных режимов работы. ER -