A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure
Due to here the characteristics and connectivity of today’s critical infrastructure systems, cyber-attacks on these systems are currently difficult to prevent in an efficient and sustainable manner.Prevention and mitigation strategies need accurate identification and evaluation of: system vulnerabilities, potential threats and attacks, and a