18、工业系统安全配置与合规性研究

工业系统安全配置与合规性研究

1. 工业系统安全配置验证案例

1.1 安全需求示例

在安全需求方面，若指定传输中数据却未明确协议和网络，或者 SSL/TLS 版本与加密方法组合不当，都可能导致配置错误，进而产生无效的安全需求。例如，通过 Wi-Fi 通道传输数据要求达到中等机密性水平，使用 3DES 或 RC4 加密方法，但这两种方法已被弃用，不推荐使用，且与最新版本的 TLS 密码套件不兼容，因此不被考虑。

1.2 案例研究的验证示例

为验证三个安全需求，我们为每个需求定义了配置，并根据之前的特征模型（Feature Models，FMs）进行验证，具体如下：
- 高安全级别需求 ：要求执行器、Arduino 微控制器和传感器之间的无线通信（WPAN）必须加密（HTTPS），确保高度机密性。为此定义的配置为：

confHighLevel = {CPS IoT, Asset, Device, Sensor, Humidity, Temperature,
Controller, microController, Actuator, Electric, Magnetic, Infrastructure,
Communications, Protocol, BLE, RFID, Network, WPAN, Information,
Intransit, Security, Enforce Communications, Property, Confidentiality,
Level, High, Constraint,