A formal model for verifying stealthy attacks on state estimation in power grids

2013 IEEE International Conference on Smart Grid Communications, SmartGridComm 2013

Volumn , Issue , 2013, Pages 414-419

  Rahman, Mohammad Ashiqur ^a   Al Shaer, Ehab ^a   Rahman, Md Ashfaqur ^b  

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

^b State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BAD DATA DETECTIONS; FALSE DATA INJECTION; FALSE MEASUREMENTS; IEEE TEST SYSTEMS; POTENTIAL ATTACK; POWER SYSTEM STATE ESTIMATION; SECURITY ANALYTICS; VERIFICATION MODEL;

ELECTRIC POWER DISTRIBUTION; SMART POWER GRIDS;

STATE ESTIMATION;

EID: 84893543226     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SmartGridComm.2013.6687993     Document Type: Conference Paper

References (14)

1. A. Ipakchi and F. Albuyeh. Grid of the future. In IEEE Power and Energy Magazine, pages 52-62, Mar 2009.
2. D. Kundur at al. Towards a framework for cyber attack impact analysis of the electric smart grid. In IEEE SmartGridComm, Oct 2010.
3. A. Monticelli. State estimation in electric power systems: a generalized approach. Kluwer Academic Publishers, Norwell, MA, 1999.
4. A. Abur and A. G. Exposito. Power System State Estimation : Theory and Implementation. CRC Press, New York, NY, 2004.
5. Y. Liu, P. Ning, and M. K. Reiter. False data injection attacks against state estimation in electric power grids. In ACM CCS, Nov 2009.
6. A. Teixeira et al. Cyber security analysis of state estimators in electric power systems. In IEEE Conference on Decision and Control, 2010.
7. M. Rahman and H. M. Rad. False data injection attacks with incomplete information against smart power grids. In IEEE GLOBECOM, 2012.
8. Z3: An efficient smt solver. In Microsoft Research. http://research. microsoft.com/en-us/um/redmond/projects/z3/.
9. O. Vukovic et al. Network-layer protection schemes against stealth attacks on state estimators in power systems. In SmartGridComm, 2011.
10. Leonardo de Moura and Nikolaj Bjørner. Satisfiability modulo theories: An appetizer. In Brazilian Symposium on Formal Methods, 2009.
11. Power systems test case archive. http://www.ee.washington.edu/research/.
12. R. B. Bobba et al. Detecting false data injection attacks on dc state estimation. In Workshop on Secure Control Systems, CPS Week, 2010.
13. T. T. Kim and H. V. Poor. Strategic protection against data injection attacks on power grids. IEEE Transactions on Smart Grid, 2(2), 2011.
14. O. Kosut et al. On malicious data attacks on power system state estimation. In Int'l Universities Power Engineering Conference, 2010.