Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking

Cyber-Physical Systems (CPSs) are integrations of distributed computing systems with physical processes that monitor and control entities in a physical environment. Although the range of their applications include several critical domains, the current trend is to verify CPSs with simulation-test sys...

Celý popis

Podrobná bibliografie

Vydáno v:	2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) s. 34 - 43
Hlavní autoři:	Munteanu, Andrei, Pasqua, Michele, Merro, Massimo
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.05.2020
Témata:	attack impact/mitigation Cyber-physical attack Model checking Organizations Process control Safety security analysis Sensor systems Sensors Storage tanks
ISSN:	2575-5099
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!