A Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids Conference

Rahman, Mohammad Ashiqur, Al-Shaer, Ehab, Kavasseri, Rajesh D. (2014). A Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids . 175-186.

cited authors

  • Rahman, Mohammad Ashiqur; Al-Shaer, Ehab; Kavasseri, Rajesh D

sustainable development goals

authors

date/time interval

  • April 14, 2014 -

publication date

  • January 1, 2014

keywords

  • CYBER-SECURITY ANALYSIS
  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • Formal Model
  • Optimal Power Flow
  • Power Grid
  • Science & Technology
  • State Estimation
  • Stealthy Attack
  • Technology

Location

  • GERMANY, Berlin

Conference

  • 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

publisher

  • IEEE

start page

  • 175

end page

  • 186