Visible to the public Biblio

Filters: Author is Yi Ning, Illinois Institute of Technology  [Clear All Filters]
Dong Jin, Illinois Institute of Technology, Yi Ning, Illinois Institute of Technology.  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.