Control Logic Forensics Framework using Built-in Decompiler of Engineering Software in Industrial Control Systems.
Syed Ali QasimJared M. SmithIrfan AhmedPublished in: Digit. Investig. (2020)
Keyphrases
- control system
- software architecture
- logical framework
- software engineering
- analysis tool
- main contribution
- control method
- software development
- industrial automation
- neural network
- control unit
- abductive reasoning
- simulation environment
- law enforcement
- engineering design
- design patterns
- modal logic
- theoretical framework
- software systems
- source code
- digital images
- probabilistic model
- computer science
- case study