Linear Programming for Power-System Network Security Applications | Synapse