Efficient computations of a security index for false data attacks in power networks

IEEE Transactions on Automatic Control

Volumn 59, Issue 12, 2014, Pages 3194-3208

  Hendrickx, Julien M ^a   Johansson, Karl Henrik ^b   Jungers, Raphaël M ^a   Sandberg, Henrik ^b   Sou, Kin Cheong ^c  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Mathematical programming; network theory (graph); power system security; SCADA systems; smart grids

Indexed keywords

COMPUTATIONAL COMPLEXITY; ELECTRIC NETWORK ANALYSIS; ELECTRIC POWER TRANSMISSION NETWORKS; GRAPH THEORY; HEURISTIC ALGORITHMS; MATHEMATICAL PROGRAMMING; NETWORK SECURITY; POLYNOMIAL APPROXIMATION; SCADA SYSTEMS; SMART POWER GRIDS;

EFFICIENT COMPUTATION; ELECTRIC POWER NETWORKS; IEEE 118-BUS SYSTEM; POLYNOMIAL-TIME ALGORITHMS; POWER SYSTEM SECURITY; SMART GRID; SUPERVISORY CONTROL AND DATAACQUISITION SYSTEMS (SCADA); VULNERABILITY ANALYSIS;

ELECTRIC POWER SYSTEM CONTROL;

EID: 84933060970     PISSN: 00189286     EISSN: 15582523     Source Type: Journal    
DOI: 10.1109/TAC.2014.2351625     Document Type: Article

References (43)

1. G. Andersson, P. Donalek, R. Farmer, N. Hatziargyriou, I. Kamwa, P. Kundur, N. Martins, J. Paserba, P. Pourbeik, J. Sanchez-Gasca, R. Schulz, A. Stankovic, C. Taylor, and V. Vittal, "Causes of the 2003 major grid blackouts in North America and Europe, recommended means to improve system dynamic performance," IEEE Trans. Power Syst., vol. 20, no. 4, pp. 1922-1928, Nov. 2005.
2. S. Amin, A. Cárdenas, and S. Sastry, "Safe and secure networked control systems under denial-of-service attacks," in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Berlin/Heidelberg: Springer, April 2009, pp. 31-45.
3. A. Gupta, C. Langbort, and T. Başar, "Optimal control in the presence of an intelligent jammer with limited actions," in Proc. 49th IEEE Conf. Decision and Control (CDC), Dec. 2010.
4. Y. Mo and B. Sinopoli, "Secure control against replay attack," in Proc. 47th Annu. Allerton Conf. Communication, Control, Computing, Oct. 2009.
5. R. Smith, "A decoupled feedback structure for covertly appropriating networked control systems," in Proc. 18th IFAC World Congr., Milano, Italy, Aug./Sep. 2011.
6. F. Pasqualetti, F. Dorfler, and F. Bullo, "Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design," in Proc. 50th IEEE Conf. Decision and Control and European Control Conf., Orlando, FL, Dec. 2011.
7. Y. Liu, M. Reiter, and P. Ning, "False data injection attacks against state estimation in electric power grids," in Proc. 16th ACM Conf. Computer and Communication Security, New York, 2009, pp. 21-32.
8. H. Sandberg, A. Teixeira, and K. H. Johansson, "On security indices for state estimators in power networks," in 1st Workshop on Secure Control Systems, CPSWEEK, 2010.
9. G. Dan and H. Sandberg, "Stealth attacks and protection schemes for state estimators in power systems," in IEEE SmartGridComm, 2010.
10. R. Bobba, K. Rogers, Q.Wang, H. Khurana, K. Nahrstedt, and T. Overbye, "Detecting false data injection attacks on dc state estimation," in 1st Workshop on Secure Control Systems, CPSWEEK, 2010.
11. O. Kosut, L. Jia, R. Thomas, and L. Tong, "Malicious data attacks on the smart grid," IEEE Trans. Smart Grid, vol. 2, pp. 645-658, 2011.
12. K. C. Sou, H. Sandberg, and K. H. Johansson, "Electric power network security analysis via minimum cut relaxation," in Proc. IEEE Conf. Decision and Control, Dec. 2011.
13. A. Giani, E. Bitar, M. McQueen, P. Khargonekar, and K. Poolla, "Smart grid data integrity attacks: Characterizations and countermeasures," in IEEE SmartGridComm, 2011.
14. T. T. Kim and H. V. Poor, "Strategic protection against data injection attacks on power grids," IEEE Trans. Smart Grid, vol. 2, pp. 326-333, Jun. 2011.
15. A. Abur and A. Expósito, Power System State Estimation. NewYork: Marcel Dekker, 2004.
16. A. Monticelli, State Estimation in Electric Power Systems A Generalized Approach. Norwell, MA: Kluwer, 1999.
17. K. C. Sou, H. Sandberg, and K. H. Johansson, "On the exact solution to a smart grid cyber-security analysis problem," IEEE Trans. Smart Grid, vol. 4, no. 2, Jun. 2013.
18. K. C. Sou, H. Sandberg, and K. H. Johansson, "Computing critical k-tuples in power networks," IEEE Trans. Power Syst., vol. 27, no. 3, pp. 1511-1520, 2012.
19. S. Mallat and Z. Zhang, "Matching pursuit with time-frequency dictionaries," IEEE Trans. Signal Process., vol. 41, pp. 3397-3415, 1993.
20. S. S. Chen, D. L. Donoho, and M. A. Saunders, "Atomic decomposition by basis pursuit," SIAM J. Scientif. Comput., vol. 20, 1998.
21. B. Lesieutre, S. Roy, V. Donde, and A. Pinar, "Power system extreme event screening using graph partitioning," in Proc. 38th North American Power Symp. (NAPS 2006), Sep. 2006, pp. 503-510.
22. A. Pinar, Y. Fogel, and B. C. Lesieutre, "The Inhibiting Bisection Problem," Lawrence Berkeley National Laboratory, Tech. Rep. LBNL-62142, 2006.
23. E. Handschin, F. Schweppe, J. Kohlas, and A. Fiechter, "Bad data analysis for power system state estimation," IEEE Trans. Power App. Syst., vol. 94, no. 2, pp. 329-337, Mar. 1975.
24. A. Teixeira, H. Sandberg, G. Dan, and K. Johansson, "Optimal power flow: Closing the loop over corrupted data," in Proc. American Control Conf. (ACC), 2012, pp. 3534-3540.
25. J. Burgschweiger, B. Gnädig, and M. Steinbach, "Optimization models for operative planning in drinking water networks," Optimiz. and Eng., vol. 10, no. 1, pp. 43-73, 2009.
26. A. Teixeira, G. Dan, H. Sandberg, and K. H. Johansson, "Cyber security study of a scada energy management system: Stealthy deception attacks on the state estimator," in IFAC World Congr., Milan, Italy, 2011.
27. E. Candès and T. Tao, "Decoding by linear programming," IEEE Trans. Inform. Theory, vol. 51, no. 12, pp. 4203-4215, Dec. 2005.
28. D. L. Donoho andM. Elad (2003). Optimally sparse representation in general (nonorthogonal) dictionaries via l1 minimization. Proc. Nat. Acad. Sci., vol. 100, no. 5, pp. 2197-2202. [Online]. Available: http://www.pnas. org/content/100/5/2197.abstract
29. A. Tillmann and M. Pfetsch, The Computational Complexity of the Restricted Isometry Property, the Nullspace Property, Related Concepts in Compressed Sensing, 2012. [Online]. Available: http://arxiv.org/abs/1205. 2081
30. S. McCormick, "A Combinatorial Approach to Some Sparse Matrix Problems," Ph.D. dissertation, Stanford University, Stanford, CA, 1983.
31. P. Gopalan, P. Kolaitis, E.Maneva, and C. Papadimitriou, "The connectivity of boolean satisfiability: Computational and structural dichotomies," Automata, Lang. and Programm., pp. 346-357, 2006.
32. J. Tsitsiklis and D. Bertsimas, Introduction to Linear Optimization. New York: Athena Scientific, 1997.
33. M. Stoer and F. Wagner, "A simple min-cut algorithm," J. ACM, vol. 44, pp. 585-591, July 1997.
34. L. Ford and D. Fulkerson, "Maximal flow through a network," Canadian J. Mathemat., vol. 8, pp. 399-404, 1956.
35. G. Nemhauser, L. Wolsey, and M. Fisher, "An analysis of approximations for maximizing submodular set functions I," Mathemat. Programm., vol. 14, no. 1, pp. 265-294, 1978.
36. R. Christie, Power System Test Case Archive, 1993. [Online]. Available: http://www.ee.washington.edu/research/pstca/pf118/pg-tca118bus.htm
37. R. Zimmerman, C. Murillo-Sánchez, and R. Thomas, "MATPOWER steady-state operations, planning and analysis tools for power systems research and education," IEEE Trans. Power Syst., vol. 26, no. 1, pp. 12-19, 2011.
38. D. Gleich, Contents Matlab BGL v4.0, 2006. [Online]. Available: http:// www.stanford.edu/~dgleich/programs/matlab-bgl/
39. The Boost Graph Library: User Guide and Reference Manual. Boston, MA: Addison-Wesley Longman, 2002.
40. S. Jokar and M. E. Pfetsch (2008, Oct.). Exact and approximate sparse solutions of underdetermined linear equations. SIAM J. Sci. Comput. [Online]. 31(1), pp. 23-44. Available: http://dx.doi.org/10.1137/070686676
41. A. Schrijver, Theory of linear and integer programming. New York: Wiley, 1986.
42. CPLEX. [Online]. Available: http://www-01.ibm.com/software/ integration/optimization/cplex-optimizer/
43. O. Vuković, K. C. Sou, G. Dán, and H. Sandberg, "Network-aware mitigation of data integrity attacks on power system state estimation," IEEE J. Select. Areas Commun., vol. 30, no. 6, pp. 1108-1118, Jul. 2012.