Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock · Formal Aspects of Computing · 2023
Securing a safety-critical system is a challenging task, because safety requirements have to be considered alongside security controls. We report on our experience to develop a security architecture for railway signalling systems starting from the bare ...