Rahman, Mohammad Ashiqur and Datta, Amarjit and Al-Shaer, Ehab (2021) Automated Configuration Synthesis for Resilient Smart Metering Infrastructure. EAI Endorsed Transactions on Security and Safety, 8 (28). e4. ISSN 2032-9393
eai.10-9-2021.170948.pdf - Published Version
Download (1MB) | Preview
Abstract
An Advanced Metering Infrastructure (AMI) comprises a large number of smart meters along with heterogeneous cyber-physical components that are interconnected through different communication media, protocols, and delivery modes for transmitting usage reports or control commands between meters and the utility. Due to misconfigurations or lack of security controls, there can be operational disruptions leading to economic damage in an AMI. Therefore, the resiliency of an AMI is crucial. In this paper, we present an automated configuration synthesis framework that mitigates potential threats by eliminating misconfigurations and keeps the damage limited under contingencies by introducing robustness. We formally model AMI configurations, including operational integrity and robustness properties considering the interdependencies among AMI devices’ configurations, attacks or failures, and resiliency guidelines. We implement the model using Satisfiability Modulo Theories (SMT) and demonstrate its execution on an example case study that illustrates the synthesis of AMI configurations satisfying resiliency requirements. We also evaluate the framework on synthetic AMI networks.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | Advanced metering infrastructure, configuration synthesis, resiliency, formal model |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science QA75 Electronic computers. Computer science T Technology > T Technology (General) |
Depositing User: | EAI Editor IV |
Date Deposited: | 29 Sep 2021 12:51 |
Last Modified: | 29 Sep 2021 12:51 |
URI: | https://eprints.eudl.eu/id/eprint/7144 |