Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants
研究了核电厂数字控制系统的网络物理安全与可信性，提出基于随机Petri网的入侵概率评估方法，并设计了符合安全法规的防护框架，通过案例验证其高可信性。
The use of nuclear energy to generate electric power is crucial to meet the high energy demand of a modern economy. In newly constructed nuclear power plants (NPPs), the trend among control systems is to replace the obsolete analog hard-wired systems with the contemporary digital and cyber-based systems. Therefore, cyberphysical security as well as dependability are critical issues in safety critical NPPs. In this paper, we present different levels/layers of protection to manage cyber/physical security. We also discuss the interrelationship between cyber and physical attacks. We adopt generalized stochastic Petri nets to quantitatively evaluate the intrusion probability. We then propose a new cyberframework and show that the proposed framework not only prevents cyberattacks but also conforms to cybersecurity regulations. We also propose a physical framework to prevent potential physical attacks. Finally, we discuss dependability through three metrics, i.e., reliability, maintainability, and availability. A case study is presented to demonstrate that the proposed cyberframework is highly dependable through analyzing steady-state probabilities.