A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids

2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014

Volumn , Issue , 2014, Pages 175-186

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

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

^b North Dakota State University   (United States)

Author keywords

Formal Model; Optimal Power Flow; Power Grid; State Estimation; Stealthy Attack

Indexed keywords

ELECTRIC LOAD FLOW; ELECTRIC POWER DISTRIBUTION; EMBEDDED SYSTEMS; STATE ESTIMATION;

FORMAL MODEL; FORMAL VERIFICATIONS; MODERN ENERGY CONTROL CENTER; OPERATING CONSTRAINTS; OPTIMAL POWER FLOWS; POWER GRIDS; STEALTHY ATTACK; WEIGHTED LEAST SQUARES;

ACOUSTIC GENERATORS;

EID: 84904509797     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCPS.2014.6843721     Document Type: Conference Paper

References (17)

1. Allen J. Wood and Bruce F. Wollenberg. Power Generation, Operation, and Control, 2nd Edition. Wiley, 1996.
2. D. Kundur, X. Feng, S. Liu, T. Zourntos, and K. Butler-Purry. Towards a framework for cyber attack impact analysis of the electric smart grid. In IEEE International Conference on Smart Grid Communications, October 2010.
3. Yao Liu, Peng Ning, and Michael K. Reiter. False data injection attacks against state estimation in electric power grids. In Proceedings of the 16th 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. A. Teixeira, S. Amin, H. Sandberg, K.H. Johansson, and S.S. Sastry. Cyber security analysis of state estimators in electric power systems. In Decision and Control (CDC), 2010 49th IEEE Conference on, pages 5991-5998, 2010.
7. R. B. Bobba, K. M. Rogers, Q. Wang, H. Khurana, K. Nahrstedt, and T. J. Overbye. Detecting false data injection attacks on dc state estimation. In Proceedings of the 1st IEEE Workshop on Secure Control Systems, CPS Week, Apr 2010.
8. T.T. Kim and H.V. Poor. Strategic protection against data injection attacks on power grids. Smart Grid, IEEE Transactions on, 2(2):326-333, Jun 2011.
9. Z3: An efficient smt solver. In Microsoft Research. http://research. microsoft.com/enus/um/redmond/projects/z3/.
10. Power systems test case archive. http://www.ee.washington.edu/research/ pstca/.
11. Kin Cheong Sou, H. Sandberg, and K.H. Johansson. Electric power network security analysis via minimum cut relaxation. In 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pages 4054-4059, 2011.
12. O. Vukovic, Kin Cheong Sou, G. Dan, and H. Sandberg. Network-layer protection schemes against stealth attacks on state estimators in power systems. In IEEE International Conference on Smart Grid Communications, October 2011.
13. M. Ashfaqur Rahman and Hamed Mohsenian-Rad. False data injection attacks with incomplete information against smart power grids. In Proceedings of IEEE Conference on Global Communications (GLOBECOM), Dec 2012.
14. Leonardo de Moura and Nikolaj Bjørner. Satisfiability modulo theories: An appetizer. In Brazilian Symposium on Formal Methods, 2009.
15. 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.
16. 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.
17. Mohammad 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, to appear.