Impact analysis of topology poisoning attacks on economic operation of the smart power grid

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2014, Pages 649-659

  Rahman, Mohammad Ashiqur ^a   Al Shaer, Ehab ^a   Kavasseri, Rajesh ^b  

^a University of North Carolina at Charlotte   (United States)

^b North Dakota State University   (United States)

Author keywords

Formal Method; Impact of Stealthy Attacks; Optimal Power Flow; Power Grid; State Estimation

Indexed keywords

ACOUSTIC GENERATORS; ELECTRIC CIRCUIT BREAKERS; ELECTRIC LOAD FLOW; ELECTRIC POWER SYSTEM ECONOMICS; ELECTRIC POWER TRANSMISSION; FLOWMETERS; FORMAL METHODS; NETWORK SECURITY; SMART POWER GRIDS; STATE ESTIMATION; TOPOLOGY;

ECONOMIC OPERATIONS; ENERGY CONTROL CENTERS; FALSE DATA INJECTION ATTACKS; IMPACT OF STEALTHY ATTACKS; MEMORY REQUIREMENTS; OPERATING CONSTRAINTS; OPTIMAL POWER FLOWS; POWER GRIDS;

ELECTRIC POWER TRANSMISSION NETWORKS;

EID: 84907795085     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCS.2014.72     Document Type: Conference Paper

References (23)

1. P. McDaniel and S. McLaughlin. Security and privacy challenges in the smart grid. IEEE Security Privacy, 7(3):75-77, 2009.
2. D. Kundur, X. Feng, Shan Liu, T. Zourntos, and K. L. Butler-Purry. Towards a framework for cyber attack impact analysis of the electric smart grid. In IEEE International Conference on Smart Grid Communications, Oct 2010.
3. Yao Liu, Peng Ning, and Michael K. Reiter. False data injection attacks against state estimation in electric power grids. In ACM Conference on Computer and Communications Security (CCS), pages 21-32, 2009.
4. A. Monticelli. State estimation in electric power systems: a generalized approach. Kluwer Academic Publishers, Norwell, MA, 1999.
5. A. Abur and A. G. Exposito. Power System State Estimation : Theory and Implementation. CRC Press, New York, NY, 2004.
6. R. Bobba, K. Rogers, Q. Wang, H. Khurana, K. Nahrstedt, and T. Overbye. Detecting false data injection attacks on dc state estimation. In IEEE Workshop on Secure Control Systems, CPS Week, Apr 2010.
7. T.T. Kim and H.V. Poor. Strategic protection against data injection attacks on power grids. IEEE Transactions on Smart Grid, 2(2):326-333, Jun 2011.
8. Z3: An efficient smt solver. In Microsoft Research. http://research.microsoft.com/en-us/um/redmond/projects/z3/.
9. A. Teixeira, S. Amin, H. Sandberg, K. Johansson, and S. Sastry. Cyber security analysis of state estimators in electric power systems. In IEEE Conference on Decision and Control, pages 5991-5998, 2010.
10. M. Ashiqur Rahman, Ehab Al-Shaer, and M. Ashfaqur Rahman. A formal model for verifying stealthy attacks on state estimation in power grids. In IEEE International Conference on Smart Grid Communications, Oct 2013.
11. Allen J. Wood and Bruce F. Wollenberg. Power Generation, Operation, and Control, 2nd Edition. Wiley, 1996.
12. K. Sou, H. Sandberg, and K.H. Johansson. Electric power network security analysis via minimum cut relaxation. In IEEE Conference on Decision and Control and European Control Conference, pages 4054-4059, 2011.
13. O. Vukovic, K. Cheong Sou, G. Dan, and H. Sandberg. Networklayer protection schemes against stealth attacks on state estimators in power systems. In IEEE International Conference on Smart Grid Communications, Oct 2011.
14. M. Rahman and H. Mohsenian-Rad. False data injection attacks with incomplete information against smart power grids. In IEEE Conference on Global Communications, Dec 2012.
15. Leonardo de Moura and Nikolaj Bjørner. Satisfiability modulo theories: An appetizer. In Brazilian Symposium on Formal Methods, 2009.
16. Power systems test case archive. http://www.ee.washington.edu/research/pstca/.
17. R. Treinen. Shift factors: Methodology and example. http://www. caiso.com/docs/2004/02/13/200402131609438684, 2005. CRR Educational Class, CAISO Market Operations.
18. P.W. Sauer, K.E. Reinhard, and T.J. Overbye. Extended factors for linear contingency analysis. In Annual Hawaii International Conference on System Sciences, pages 697-703, Jan 2001.
19. Yao Liu, Peng Ning, and Michael K. Reiter. False data injection attacks against state estimation in electric power grids. ACM Transactions on Information and System Security, 14(1):13:1-13:33, Jun 2011.
20. Kin Cheong Sou, H. Sandberg, and K.H. Johansson. On the exact solution to a smart grid cyber-security analysis problem. Smart Grid, IEEE Transactions on, 4(2):856-865, 2013.
21. Jinsub Kim and Lang Tong. On topology attack of a smart grid: Undetectable attacks and countermeasures. IEEE Journal on Selected Areas in Communications, 31(7):1294-1305, Jul 2013.
22. M. Ashiqur Rahman, E. Al-Shaer, and 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), Jun 2014.
23. M. Ashiqur Rahman, E. Al-Shaer, and R. Kavasseri. A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids. In ACM/IEEE International Conference on Cyber-Physical Systems, Apr 2014.