On Ladder Logic Bombs in Industrial Control Systems.
Naman GovilAnand AgrawalNils Ole TippenhauerPublished in: CyberICPS/SECPRE@ESORICS (2017)
Keyphrases
- control system
- industrial automation
- multi valued
- industrial applications
- logic programming
- computational properties
- classical logic
- real time
- predicate logic
- multi agent systems
- artificial intelligence
- database
- multi agent
- case study
- logical framework
- information retrieval
- critical infrastructure
- digital circuits
- technology transfer
- delay insensitive
- industrial environment
- proof theory
- series parallel
- truth values
- probabilistic logic
- service oriented architecture
- modal logic