面向配水系统的物联网安全与安全性测试工具集

由于工业控制系统(ICS)对城市和国家的运行具有关键重要性,对关键基础设施安全性的研究已变得日益相关且必要。作为智慧城市发展研究与应用两方面的一部分,准确而精确的建模、仿真与验证是稳健设计与开发工具的关键组成部分,这些工具为构成现代 ICS 系统的传感器、控制器和执行器中的异常行为的预防、检测与恢复提供关键协助。然而,尽管这些工具具有潜力,若要在广泛使用中发挥作用,目前仍需要辅助工具来协助其设置与配置。现有的最先进工具通常在技术上复杂,且难以针对任何给定的 IoT/ICS 流程进行定制。这对大多数技术员、工程师、研究人员和智慧城市规划者而言是严重的准入障碍,同时减缓了安全与安保验证的关键环节。为补救此问题,我们以水务管理领域现有仿真工具集为案例研究,利用更深入且可用的定制界面扩展现有工具与算法,加入简化的自动化检索功能,以加速仿真场景的设计与实现,从而允许对信息物理网络基础设施和网络攻击场景进行定制。此外,我们根据图论路径多样性在工具内提供对网络韧性的新颖评估。进一步,我们为所提工具的未来开发与应用勾勒了路线图,包括韧性扩展与潜在的漏洞模型检测,并讨论了我们的工作对与智慧城市设计和运行相关的其他领域的应用。