|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing
Specification-Based Intrusion Detection for Advanced Metering Infrastructures
Pasadena, California USA
December 12-December 14
ISBN: 978-0-7695-4590-5
| ASCII Text | x | ||
| Robin Berthier, William H. Sanders, "Specification-Based Intrusion Detection for Advanced Metering Infrastructures," Pacific Rim International Symposium on Dependable Computing, IEEE, pp. 184-193, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/PRDC.2011.30, author = {Robin Berthier and William H. Sanders}, title = {Specification-Based Intrusion Detection for Advanced Metering Infrastructures}, journal ={Pacific Rim International Symposium on Dependable Computing, IEEE}, volume = {0}, year = {2011}, isbn = {978-0-7695-4590-5}, pages = {184-193}, doi = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2011.30}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Pacific Rim International Symposium on Dependable Computing, IEEE TI - Specification-Based Intrusion Detection for Advanced Metering Infrastructures SN - 978-0-7695-4590-5 SP184 EP193 A1 - Robin Berthier, A1 - William H. Sanders, PY - 2011 KW - AMI KW - specification-based security KW - intrusion detection KW - formal method VL - 0 JA - Pacific Rim International Symposium on Dependable Computing, IEEE ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PRDC.2011.30
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.
Index Terms:
AMI, specification-based security, intrusion detection, formal method
Citation:
Robin Berthier, William H. Sanders, "Specification-Based Intrusion Detection for Advanced Metering Infrastructures," prdc, pp.184-193, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, 2011
Usage of this product signifies your acceptance of the Terms of Use.
