A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification

• Published in: Procedia computer science Vol. 95; pp. 24 - 31
• Main Authors: Wardell, Dean C., Mills, Robert F., Peterson, Gilbert L., Oxley, Mark E.
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 2016
• Subjects: industrial control systems; malicious agents; model checking; vulnerability detection; industrial control systems; model checking; vulnerability detection; malicious agents

Several cyber-attacks on the cyber-physical systems (CPS) that monitor and control critical infrastructure were publically announced over the last few years. Almost without exception, the proposed security solutions focus on preventing unauthorized access to the industrial control systems (ICS) at v...