Model Checking for Real-Time Attack Detection in Water Distribution Systems

Water distribution systems represents critical infrastructures. These architectures are really critical and an irregular behaviour can be reflected in human safety. As a matter of fact, an attacker obtaining the control of such of an architecture is able to perpetrate a plethora of damages, both to...

Full description

Bibliographic Details
Main Authors: Francesco Mercaldo, Fabio Martinelli, Antonella Santone
Format: Article
Language:English
Published: Russian Academy of Sciences, St. Petersburg Federal Research Center 2022-03-01
Series:Информатика и автоматизация
Subjects:
Online Access:http://ia.spcras.ru/index.php/sp/article/view/14977