Formal Modelling of the Impact of Cyber Attacks on Railway Safety

Ehsan Poorhadi, Elena Troubitysna, György Dán. Formal Modelling of the Impact of Cyber Attacks on Railway Safety. In Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings. Volume 12853 of Lecture Notes in Computer Science, pages 117-127, Springer, 2021. [doi]

Authors

Ehsan Poorhadi

This author has not been identified. Look up 'Ehsan Poorhadi' in Google

Elena Troubitysna

This author has not been identified. Look up 'Elena Troubitysna' in Google

György Dán

This author has not been identified. Look up 'György Dán' in Google