AMIAnalyzer: Security analysis of AMI configurations

Author

Rahman, Mohammad Ashiqur ; Al-Shaer, Ehab

Author_Institution

Univ. of North Carolina at Charlotte, Charlotte, NC, USA

fYear

2011

fDate

Oct. 31 2011-Nov. 1 2011

Firstpage

1

Lastpage

2

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SafeConfig.2011.6111662

Filename

6111662