Login / Signup

Formal Modelling of the Impact of Cyber Attacks on Railway Safety.

Ehsan PoorhadiElena TroubitysnaGyörgy Dán
Published in: SAFECOMP Workshops (2021)
Keyphrases
  • cyber attacks
  • cyber security
  • countermeasures
  • computer systems
  • real time
  • intrusion detection system
  • third party
  • distributed systems
  • energy consumption