cybercrime investigation modeling, intensional logic and programming, cyberforensics, Forensic Lucid, finite-state automata