by Mohammad Ashiqur Rahman (Author), Ehab Al-Shaer (Author)
The second section covers the formal verification of the security and resiliency of smart grid control systems by using a formal model to analyze attack evasions on state estimation, a core control module of the supervisory control system in smart grids.
Format: Hardcover
Pages: 162
Edition: 1st ed. 2016
Publisher: Springer
Published: 27 Jun 2016
ISBN 10: 3319328700
ISBN 13: 9783319328706