A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure

Mohammad Ashiqur Rahman, Ehab Al-Shaer. A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure. In Ehab Al-Shaer, Xinming Ou, Geoffrey G. Xie, editors, Automated Security Management [papers from SafeConfig 2012, Baltimore Inner Harbor, MD, USA]. pages 59-77, Springer, 2012. [doi]

Abstract

Abstract is missing.