Skip to main content

1 Result(s)

within Serguei A. Mokhov Remove this filter Management of Computing and Information Systems Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

    In this work we model the ACME (a fictitious company name) “printer case incident” and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic anal...

    Serguei A. Mokhov, Joey Paquet, Mourad Debbabi in Digital Forensics and Cyber Crime (2012)