Securing Industrial Control Systems with a Simulation-based Verification System
| Title | Securing Industrial Control Systems with a Simulation-based Verification System |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Dong Jin, Illinois Institute of Technology, Yi Ning, Illinois Institute of Technology |
| Conference Name | ACM SIGSIM Conference on Principles of Advanced Discrete Simulation |
| Date Published | May 2014 |
| Publisher | ACM |
| Conference Location | Denver, CO |
| Keywords | A Hypothesis Testing Framework for Network Security, Network security, science of security, UIUC |
| Abstract | 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. |
| Notes | Work in progress paper. |
| URL | https://dl.dropboxusercontent.com/u/40575062/my_paper/JinNi_PADS2014_short.pdf |
| Citation Key | node-17177 |