Securing Industrial Control Systems with a Simulation-based Verification System Download Tags: distributed system fat-tree network high-performance computing Parallel discrete event simulation Science of Security Hard Problems License: Creative Commons 2.5 Submitted by Laura Thurlwell on Fri, 09/01/2017 - 10:25