157 citations · 444 across the 22 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 8 cited
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
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 la…
cs.LO2009★ 2 cited
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
This work-in-progress focuses on the refinement of application of the intensional logic to cyberforensic analysis and its benefits are compared with the finite-state automata appro…