AMIAnalyzer: Security analysis of AMI configurations

AMIAnalyzer: Security analysis of AMI configurations Conference

Rahman, MA, Al-Shaer, E. (2011). AMIAnalyzer: Security analysis of AMI configurations . 10.1109/SafeConfig.2011.6111662

The Advanced Metering Infrastructure (AMI) is comprising of heterogeneous cyber-physical components, which are interconnected through different communication media, protocols and secure tunnels, and operated using different security policies. The inherent complexity and heterogeneity in AMI significantly increase the potential of security threats due to misconfiguration or absence of defense, which may cause devastating damage to AMI. In this paper, we present AMIAnalyzer, a declarative security analysis tool, which offers two-fold contributions: (i) formal modeling of AMI components' configurations and their interactions based on property level abstraction; (ii) verifying the AMI configuration compliances with security control guidelines. © 2011 IEEE.