Snakes and Ladder Logic: PLC-VBS, a PLC Control Logic Vulnerability Discovery Tool.
Sam MaesschalckAlexander StavesRichard DerbyshireBenjamin GreenDavid HutchisonPublished in: CoRR (2022)
Keyphrases
- programmable logic controller
- control system
- hardware and software
- petri net
- neural network
- fuzzy control
- predicate logic
- logic programming
- modal logic
- control method
- probability theory
- low cost
- data sets
- expert systems
- optimal control
- data transmission
- data mining
- defeasible logic
- deontic logic
- asynchronous circuits
- proof theory