Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches
Heftet /
2018
/ Engelsk
Produktdetaljer
ISBN
9783319813899
Publisert
2018-05-31
Utgiver
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
16
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.
Les mer
Maximizes reader insights into theoretical and practical aspects of applying formal methods for the protection of critical infrastructures like smart grids Covers novel techniques which can automatically, provably, and efficiently analyze the security and resiliency of the smart grids Includes various illustrative case studies and extensive evaluation results demonstrating the efficacy of the formal techniques
Les mer
Produktdetaljer
ISBN
9783319813899
Publisert
2018-05-31
Utgiver
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
16