SCADA System Security, Complexity, and Security Proof
SCADA System Security, Complexity, and Security Proof
复制标题
SCADA系统安全性、复杂性和安全证明
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
K. Alkadhimi
中科院分区：
文献类型：
--
作者：
Reda Shbib;Shikun Zhou;K. Alkadhimi
现代关键基础设施都有指挥和控制系统。这些命令和控制系统通常被称为监控和数据采集（SCADA）。过去，SCADA系统具有封闭的运行环境，因此这些系统在设计时没有安全功能。目前，随着SCADA系统接入开放式网络的需求不断增长，SCADA系统的安全性研究成为一个重要课题。密钥管理方案对于保护SCADA通信至关重要。许多SCADA的密钥管理结构也被提出。11770-2机制9密钥建立协议已用于SCADA通信，但需要对11770-2机制9协议进行安全证明。本文的目的是提供一个关于SCADA系统的一般概述，及其相关的安全问题。此外，我们试图探讨密钥管理协议的重要性和形式化安全证明的必要性。
Modern Critical infrastructures have command and control systems. These command and control systems are commonly called supervisory control and data acquisition (SCADA). In the past, SCADA system has a closed operational environment, so these systems were designed without security functionality. Nowadays, as a demand for connecting the SCADA system to the open network growths, the study of SCADA system security is an issue. A key-management scheme is critical for securing SCADA communications. Numerous key-management structures for SCADA also have been suggested. 11770-2 Mechanism 9 Key establishment Protocol has been used in SCADA communication however a security proof for the 11770-2 Mechanism 9 protocol is needed. The purpose of this paper is to provide a general overview about SCADA system, and its related security issues. Furthermore, we try to investigate the importance of key management protocol and the need of formal security poof.