Reasoning About an ACME Printer Case Investigation with Forensic Lucid

In this work we model the ACME printer case incident and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification. The printer case involves a dispute about two parties that was previously solved using the finite-state automata (FSA) approach, and now re-done in a more usable way in Forensic Lucid.