Computer Science – Logic in Computer Science
Scientific paper
2009-06-29
Computer Science
Logic in Computer Science
18 pages, 3 figures, 7 listings, TOC, index; this article closely relates to arXiv:0906.0049 and arXiv:0904.3789 but to remain
Scientific paper
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 analysis and event reconstruction specification. The printer case involves a dispute between two parties that was previously solved using the finite-state automata (FSA) approach, and is now re-done in a more usable way in Forensic Lucid. Our simulation is based on the said case modeling by encoding concepts like evidence and the related witness accounts as an evidential statement context in a Forensic Lucid program, which is an input to the transition function that models the possible deductions in the case. We then invoke the transition function (actually its reverse) with the evidential statement context to see if the evidence we encoded agrees with one's claims and then attempt to reconstruct the sequence of events that may explain the claim or disprove it.
Debbabi Mourad
Mokhov Serguei A.
Paquet Joey
No associations
LandOfFree
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reasoning About a Simulated Printer Case Investigation with Forensic Lucid, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning About a Simulated Printer Case Investigation with Forensic Lucid will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-247109