A Formal Model for Verifying Stealthy Attacks on State Estimation in Power Grids Conference

Rahman, Mohammad Ashiqur, Al-Shaer, Ehab, Rahman, Md Ashfaqur. (2013). A Formal Model for Verifying Stealthy Attacks on State Estimation in Power Grids . 2013 IEEE INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS (SMARTGRIDCOMM), 414-419.

cited authors

  • Rahman, Mohammad Ashiqur; Al-Shaer, Ehab; Rahman, Md Ashfaqur

sustainable development goals

authors

date/time interval

  • October 21, 2013 -

publication date

  • January 1, 2013

published in

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • Telecommunications

Location

  • CANADA, Vancouver

Conference

  • IEEE International Conference on Smart Grid Communications (SmartGridComm)

publisher

  • IEEE

start page

  • 414

end page

  • 419