A formal logic-based language and an automated verification tool for computer forensic investigation.
Slim RekhisNoureddine BoudrigaPublished in: SAC (2005)
Keyphrases
- computer forensics
- automated verification
- digital forensics
- computer security
- model checking
- formal language
- automated reasoning
- natural language
- law enforcement
- formal verification
- visual languages
- programming language
- highly expressive
- operational semantics
- formal languages
- knowledge representation
- script language
- data mining
- precisely defined
- mathematical theory
- formal representation
- language learning
- formal methods
- formal specification
- forensic analysis
- conceptual model
- expert systems
- object oriented programming
- temporal logic