Specification-based intrusion detection for advanced metering infrastructures

Robin Berthier, William H. Sanders

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

It is critical to develop an effective way to monitor advanced metering infrastructures (AMI). To ensure the security and reliability of a modernized power grid, the current deployment of millions of smart meters requires the development of innovative situational awareness solutions to prevent compromised devices from impacting the stability of the grid and the reliability of the energy distribution infrastructure. To address this issue, we introduce a specification-based intrusion detection sensor that can be deployed in the field to identify security threats in real time. This sensor monitors the traffic among meters and access points at the network, transport, and application layers to ensure that devices are running in a secure state and their operations respect a specified security policy. It does this by implementing a set of constraints on transmissions made using the C12.22 standard protocol that ensure that all violations of the specified security policy will be detected. The soundness of these constraints was verified using a formal framework, and a prototype implementation of the sensor was evaluated with realistic AMI network traffic.

Original languageEnglish (US)
Title of host publicationProceedings - 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011
Pages184-193
Number of pages10
DOIs
StatePublished - Dec 1 2011
Event17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011 - Pasadena, CA, United States
Duration: Dec 12 2011Dec 14 2011

Publication series

NameProceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
ISSN (Print)1541-0110

Other

Other17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011
CountryUnited States
CityPasadena, CA
Period12/12/1112/14/11

Keywords

  • AMI
  • formal method
  • intrusion detection
  • specification-based security

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'Specification-based intrusion detection for advanced metering infrastructures'. Together they form a unique fingerprint.

Cite this