A noninvasive threat analyzer for advanced metering infrastructure in smart grid

Mohammad Ashiqur Rahman; Ehab Al-Shaer; Padmalochan Bera

doi:10.1109/TSG.2012.2228283

A noninvasive threat analyzer for advanced metering infrastructure in smart grid

Mohammad Ashiqur Rahman^*
, Ehab Al-Shaer
, Padmalochan Bera

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

34 Scopus citations

Abstract

Advanced Metering Infrastructure (AMI) is the core component in a smart grid that exhibits a highly complex network configuration. AMI comprises heterogeneous cyber-physical components, which are interconnected through different communication media, protocols, and security measures. They are operated using different data delivery modes and security policies. The inherent complexity and heterogeneity in AMI significantly increases the potential of security threats due to misconfiguration or absence of defense, which may cause devastating damage to AMI. Therefore, there is a need for creating a formal model that can represent the global behavior of AMI configuration in order to verify the potential threats.

Original language	English
Article number	6399557
Pages (from-to)	273-287
Number of pages	15
Journal	IEEE Transactions on Smart Grid
Volume	4
Issue number	1
DOIs	https://doi.org/10.1109/TSG.2012.2228283
State	Published - 2013
Externally published	Yes

Keywords

Advanced metering infrastructure
formal verification
security analysis

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1109/TSG.2012.2228283

Cite this

@article{73d2764015084acfb5e0c90810c4cbb7,

title = "A noninvasive threat analyzer for advanced metering infrastructure in smart grid",

abstract = "Advanced Metering Infrastructure (AMI) is the core component in a smart grid that exhibits a highly complex network configuration. AMI comprises heterogeneous cyber-physical components, which are interconnected through different communication media, protocols, and security measures. They are operated using different data delivery modes and security policies. The inherent complexity and heterogeneity in AMI significantly increases the potential of security threats due to misconfiguration or absence of defense, which may cause devastating damage to AMI. Therefore, there is a need for creating a formal model that can represent the global behavior of AMI configuration in order to verify the potential threats.",

keywords = "Advanced metering infrastructure, formal verification, security analysis",

author = "Rahman, \{Mohammad Ashiqur\} and Ehab Al-Shaer and Padmalochan Bera",

year = "2013",

doi = "10.1109/TSG.2012.2228283",

language = "English",

volume = "4",

pages = "273--287",

journal = "IEEE Transactions on Smart Grid",

issn = "1949-3053",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "1",

}

TY - JOUR

T1 - A noninvasive threat analyzer for advanced metering infrastructure in smart grid

AU - Rahman, Mohammad Ashiqur

AU - Al-Shaer, Ehab

AU - Bera, Padmalochan

PY - 2013

Y1 - 2013

N2 - Advanced Metering Infrastructure (AMI) is the core component in a smart grid that exhibits a highly complex network configuration. AMI comprises heterogeneous cyber-physical components, which are interconnected through different communication media, protocols, and security measures. They are operated using different data delivery modes and security policies. The inherent complexity and heterogeneity in AMI significantly increases the potential of security threats due to misconfiguration or absence of defense, which may cause devastating damage to AMI. Therefore, there is a need for creating a formal model that can represent the global behavior of AMI configuration in order to verify the potential threats.

AB - Advanced Metering Infrastructure (AMI) is the core component in a smart grid that exhibits a highly complex network configuration. AMI comprises heterogeneous cyber-physical components, which are interconnected through different communication media, protocols, and security measures. They are operated using different data delivery modes and security policies. The inherent complexity and heterogeneity in AMI significantly increases the potential of security threats due to misconfiguration or absence of defense, which may cause devastating damage to AMI. Therefore, there is a need for creating a formal model that can represent the global behavior of AMI configuration in order to verify the potential threats.

KW - Advanced metering infrastructure

KW - formal verification

KW - security analysis

UR - https://www.scopus.com/pages/publications/84875053957

U2 - 10.1109/TSG.2012.2228283

DO - 10.1109/TSG.2012.2228283

M3 - Article

AN - SCOPUS:84875053957

SN - 1949-3053

VL - 4

SP - 273

EP - 287

JO - IEEE Transactions on Smart Grid

JF - IEEE Transactions on Smart Grid

IS - 1

M1 - 6399557

ER -

A noninvasive threat analyzer for advanced metering infrastructure in smart grid

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this