Abstract
The supervisory control and data acquisition (SCADA) system is the major industrial control system (ICS), which is responsible for collecting data from end devices, analyzing data, and managing the system efficiently by sending necessary control commands to the corresponding end devices. Unlike traditional cyber networks, a SCADA system consists of heterogeneous devices that communicate with one another under various communication protocols, physical media, and security properties. Failures or attacks on such networks have the potential of data unavailability and false data injection causing incorrect system estimations and control decisions leading to non-optimal management or critical damages of the system. This chapter provides a theoretical baseline for assessing the security and resiliency of ICS by presenting two formal frameworks, one for security analysis and one for resiliency analysis, considering smart grid SCADA systems. These frameworks take smart grid configurations and organizational security or resiliency requirements as inputs, formally model configurations and various security properties, and verify the dependability of the system under potential attacks or contingencies. The execution of each of these frameworks is demonstrated on an example case study.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
A.J. Wood, B.F. Wollenberg, Power Generation, Operation, and Control, 2nd edn. (Wiley, New York, 1996)
A. Abur, A.G. Exposito, Power System State Estimation: Theory and Implementation (CRC Press, New York, 2004)
Nistir 7628: Guidelines for smart grid cyber security. (Smart Grid Interoperability Panel- Cyber Security Working Group, Aug 2010), http://www.nist.gov/smartgrid/upload/nistir-7628_total.pdf
M.A. Rahman, E. Al-Shaer, R. Kavasseri. Security threat analytics and countermeasure synthesis for state estimation in smart power grids. In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2014
M.A. Rahman, E. Al-Shaer, R. Kavasseri. Impact analysis of topology poisoning attacks on economic operation of the smart power grid. In International Conference on Distributed Computing Systems (ICDCS), July 2014
M.A. Rahman, A.H.M. Jakaria, E. Al-Shaer. Formal analysis for dependable supervisory control and data acquisition in smart grids. In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2016
L. de Moura, N. Bjørner. Satisfiability modulo theories: An appetizer. In Brazilian Symposium on Formal Methods, 2009
Y. Liu, P. Ning, M. Reiter. False data injection attacks against state estimation in electric power grids. In ACM Conference on Computer and Communications Security (CCS), pp. 21–32, Nov 2009
A. Monticelli, State Estimation in Electric Power Systems: A Generalized Approach (Kluwer Academic Publishers, Norwell, 1999)
Z3: Theorem prover. (Microsoft Research, 2013), http://research.microsoft.com/en-us/um/redmond/projects/z3/
Power systems test case archive. http://www.ee.washington.edu/research/pstca/
National Institute of Standards and Technology. U.S. Department of Commerce. http://www.nist.gov/, http://www.nist.gov/publication-portal
North American Electric Reliability Corporation. http://www.nerc.com, http://www.nerc.com/pa/Stand/Pages/default.aspx
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Rahman, M.A., Al-Shaer, E. (2019). Toward the Science of Industrial Control Systems Security and Resiliency. In: Rieger, C., Ray, I., Zhu, Q., Haney, M. (eds) Industrial Control Systems Security and Resiliency. Advances in Information Security, vol 75. Springer, Cham. https://doi.org/10.1007/978-3-030-18214-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-18214-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18213-7
Online ISBN: 978-3-030-18214-4
eBook Packages: Computer ScienceComputer Science (R0)