Title :
AMIAnalyzer: Security analysis of AMI configurations
Author :
Rahman, Mohammad Ashiqur ; Al-Shaer, Ehab
Author_Institution :
Univ. of North Carolina at Charlotte, Charlotte, NC, USA
fDate :
Oct. 31 2011-Nov. 1 2011
Abstract :
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.
Keywords :
computer network security; formal logic; protocols; AMI configurations; AMIAnalyzer; advanced metering infrastructure; communication media; declarative security analysis tool; formal modeling; heterogeneity; heterogeneous cyber-physical components; protocols; secure tunnels; security control guidelines; security policies; security threats; Aggregates; Analytical models; Data models; Guidelines; Schedules; Security; Smart grids;
Conference_Titel :
Configuration Analytics and Automation (SAFECONFIG), 2011 4th Symposium on
Conference_Location :
Arlington, VA
Print_ISBN :
978-1-4673-0401-6
Electronic_ISBN :
978-1-4673-0400-9
DOI :
10.1109/SafeConfig.2011.6111662
