Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants

被引:58
作者
Cho, Chi-Shiang [1 ]
Chung, Wei-Ho [2 ]
Kuo, Sy-Yen [1 ]
机构
[1] Natl Taiwan Univ, Dept Elect Engn, Taipei 10617, Taiwan
[2] Acad Sinica, Res Ctr Informat Technol Innovat, Taipei 11529, Taiwan
来源
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS | 2016年 / 46卷 / 03期
关键词
Control networks; control systems; cyberphysical security; dependability analysis; generalized stochastic Petri nets (GSPNs); International Organization for Standardization/International Electrotechnical Commission 17799 (ISO/IEC 17799); nuclear power plants; RG; 5.71; PETRI NETS; DESIGN;
D O I
10.1109/TSMC.2015.2452897
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:356 / 369
页数:14
相关论文
共 35 条
[1]   TIME SCALE DECOMPOSITION OF A CLASS OF GENERALIZED STOCHASTIC PETRI NET MODELS [J].
AMMAR, HH ;
ISLAM, SMR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (06) :809-820
[2]  
[Anonymous], 1986, REGULATORY GUIDE 5 6
[3]  
[Anonymous], 2010, 7432 IEEE
[4]  
[Anonymous], 2009, REGULATORY GUIDE 5 6
[5]  
[Anonymous], 2009, 603 IEEE
[6]  
[Anonymous], 1994, MODELING GEN STOCHAS
[7]  
[Anonymous], 2011, REGULATORY GUIDE 5 7
[8]  
[Anonymous], 2010, Regulatory Guide 5.71
[9]  
[Anonymous], 1987, 352 IEEE
[10]   Basic concepts and taxonomy of dependable and secure computing [J].
Avizienis, A ;
Laprie, JC ;
Randell, B ;
Landwehr, C .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) :11-33