Beschreibung:
This book targets the key concern of protecting critical infrastructures such as smart grids. It explains various static and dynamic security analysis techniques that can automatically verify smart grid security and resiliency and identify potential attacks in a proactive manner.
Maximizes reader insights into theoretical and practical aspects of applying formal methods for the protection of critical infrastructures like smart grids
Smart Grids and Security Challenges.- Analytics for Smart Grid Security and Resiliency.- Security Analytics for AMI and SCADA.- Security Analytics for EMSE Modules.- Intrusion Detection Systems for AMI.- Resiliency Threat Analysis for SCADA.