Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis Article

Rahman, Mohammad Ashiqur, Datta, Amarjit. (2020). Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis . IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 17(3), 451-464. 10.1109/TDSC.2018.2806969

Open Access

keywords

  • Biological system modeling
  • Computer Science
  • Computer Science, Hardware & Architecture
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • DATA INJECTION ATTACKS
  • Energy management
  • LOAD REDISTRIBUTION ATTACKS
  • Load modeling
  • Mathematical model
  • Power grid
  • Power measurement
  • SECURITY
  • Science & Technology
  • State estimation
  • Technology
  • Transmission line measurements
  • formal verification
  • impact analysis
  • optimal power flow
  • resiliency
  • stealthy attacks

Digital Object Identifier (DOI)

publisher

  • IEEE COMPUTER SOC

start page

  • 451

end page

  • 464

volume

  • 17

issue

  • 3