Due to the critical importance of Industrial Control Systems (ICS) to the operations of cities and countries, research into the security of critical infrastructure has become increasingly relevant and necessary. As a component of both the research and application sides of smart city development, accurate and precise modeling, simulation, and verification are key parts of a robust design and development tools that provide critical assistance in the prevention, detection, and recovery from abnormal behavior in the sensors, controllers, and actuators which make up a modern ICS system. However, while these tools have potential, there is currently a need for helper-tools to assist with their setup and configuration, if they are to be utilized widely. Existing state-of-the-art tools are often technically complex and difficult to customize for any given IoT/ICS processes. This is a serious barrier to entry for most technicians, engineers, researchers, and smart city planners, while slowing down the critical aspects of safety and security verification. To remedy this issue, we take a case study of existing simulation toolkits within the field of water management and expand on existing tools and algorithms with simplistic automated retrieval functionality using a much more in-depth and usable customization interface to accelerate simulation scenario design and implementation, allowing for customization of the cyber-physical network infrastructure and cyber attack scenarios. We additionally provide a novel in-tool-assessment of network's resilience according to graph theory path diversity. Further, we lay out a roadmap for future development and application of the proposed tool, including expansions on resiliency and potential vulnerability model checking, and discuss applications of our work to other fields relevant to the design and operation of smart cities.
翻译:由于工业控制系统(ICS)对城市和国家的运作至关重要,因此对关键基础设施安全的研究越来越具有相关性和必要性。作为智能城市发展、准确和精确的建模、模拟和核查的研究和应用两个方面的组成部分,现有的智能城市发展、准确和精确的建模、模拟和核查是稳健的设计和发展工具的关键组成部分,在预防、检测和从构成现代ICS系统的传感器、控制器和激励器的异常行为中恢复方面提供了重要援助。然而,虽然这些工具具有潜力,但目前需要使用辅助工具来协助其设置和配置。作为智能城市发展、准确和精确的建模的智能应用方,现有的智能先进工具往往在技术上十分复杂,难以为任何特定的IoT/IC进程定制。这对于大多数技术人员、工程师、研究人员和智能城市规划者来说是一个重大障碍,无法进入构成现代ICS系统系统的关键方面。然而,为了解决这一问题,我们对水管理领域现有的模拟图表脆弱性进行了案例研究,并扩展了现有工具和算法,具有简单自动化的自动检索功能,利用更深入和可使用的网络模型,在更深入和可变化的网络中,为我们的系统化的网络和新版的网络设计设计提供了一种快速的模型,以加速模拟模拟模型,以便进行我们更精确的网络的网络的模型化的网络的模型化的模型化的模型化的模型化的模型,以便快速地对城市提供新的模型的模型的模型的模型的模型的模型的模型的模型的模型的模型的模型的模型的模型的模型,以加速模型,以便我们更快速地进行。