Rule-based anomaly detection for railway signalling networks

On the security of public key protocols

Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.5K citations

Passive Eavesdroppers, Public Key Algorithm, Engineering +14

An integrated approach to safety and security based on systems theory

William Young, Nancy G. Leveson · Communications of the ACM · 2014 · 254 citations

Safety Engineering, Safety-critical System, Integrated Approach +13

Sequence-aware Intrusion Detection in Industrial Control Systems

Marco Caselli, Emmanuele Zambon, Frank Kargl · 2015 · 154 citations · Full text

Engineering, Information Security, Formal Verification +17

Critical State-Based Filtering System for Securing SCADA Network Protocols

Igor Nai Fovino, Alessio Coletta, Andrea Carcano et al. · IEEE Transactions on Industrial Electronics · 2011 · 104 citations

Security Requirements Engineering in Safety-Critical Railway Signalling Networks

Markus Heinrich, Tsvetoslava Vateva-Gurova, Tolga Arul et al. · Security and Communication Networks · 2019 · 16 citations · Full text

Engineering, Information Security, Safety Science +20