SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses.
Ruimin SunAlejandro MeraLong LuDavid R. ChoffnesPublished in: CoRR (2020)
Keyphrases
- formal verification
- model checker
- bounded model checking
- model checking
- control system
- automated verification
- symbolic model checking
- industrial applications
- denial of service attacks
- logic programs
- program slicing
- formal specification
- countermeasures
- dos attacks
- orders of magnitude
- logic programming
- linear temporal logic
- reinforcement learning