Automated Configuration Synthesis for Resilient Smart Metering Infrastructure

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

[thumbnail of eai.10-9-2021.170948.pdf]
eai.10-9-2021.170948.pdf - Published Version

Download (1MB) | Preview


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

Actions (login required)

View Item
View Item