TY - GEN
T1 - AMIAnalyzer
T2 - IEEE 4th Symposium on Configuration Analytics and Automation, SAFECONFIG 2011
AU - Rahman, Mohammad Ashiqur
AU - Al-Shaer, Ehab
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84855832516&partnerID=8YFLogxK
U2 - 10.1109/SafeConfig.2011.6111662
DO - 10.1109/SafeConfig.2011.6111662
M3 - Conference contribution
AN - SCOPUS:84855832516
SN - 9781467304016
T3 - 2011 4th Symposium on Configuration Analytics and Automation, SAFECONFIG 2011
BT - 2011 4th Symposium on Configuration Analytics and Automation, SAFECONFIG 2011
Y2 - 31 October 2011 through 1 November 2011
ER -