Biblio
Filters: Author is Yi Ning, Illinois Institute of Technology [Clear All Filters]
.
2014. Securing Industrial Control Systems with a Simulation-based Verification System. ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.
Today’s quality of life is highly dependent on the successful operation of many large-scale industrial control systems. To enhance their protection against cyber-attacks and operational errors, we develop a simulation-based verification framework with cross-layer verification techniques that allow comprehensive analysis of the entire ICS-specific stack, including application, protocol, and network layers.
Work in progress paper.