Automated Configuration Synthesis for Resilient Smart Metering Infrastructure.

An Advanced Metering Infrastructure (AMI) comprises a large number of smart meters along withheterogeneous cyber-physical components that are interconnected through different communication media,protocols, and delivery modes for transmitting usage reports or control commands between meters andthe utility. Due to misconfigurations or lack of security controls, there can be operational disruptionsleading to economic damage in an AMI. Therefore, the resiliency of an AMI is crucial. In this paper, wepresent an automated configuration synthesis framework that mitigates potential threats by eliminatingmisconfigurations and keeps the damage limited under contingencies by introducing robustness. Weformally model AMI configurations, including operational integrity and robustness properties consideringthe 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 anexample case study that illustrates the synthesis of AMI configurations satisfying resiliency requirements. Wealso evaluate the framework on synthetic AMI networks.