Runtime-Monitoring for Industrial Control Systems

A survey of cyber security management in industrial control systems

(2015) William Knowles et al.   International Journal of Critical Infrastructure Protection

Integrated OCSVM mechanism for intrusion detection in SCADA systems

(2014) Leandros A. Maglaras et al.   ELECTRONICS LETTERS

Evaluation of the ability of the Shodan search engine to identify Internet-facing industrial control devices

(2014) Roland Bodenheim et al.   International Journal of Critical Infrastructure Protection

SCADA security in the light of Cyber-Warfare

(2012) A. Nicholson et al.   COMPUTERS & SECURITY

Stuxnet: Dissecting a Cyberwarfare Weapon

(2011) Ralph Langner   IEEE SECURITY & PRIVACY

A brief account of runtime verification

(2008) Martin Leucker et al.   JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

Rule Systems for Run-time Monitoring: from EAGLE to RULER

(2008) H. Barringer et al.   JOURNAL OF LOGIC AND COMPUTATION