Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid

Details Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid

2009-05-30

arxiv.org/abs/0906.0049v1

Computer Science

Logic in Computer Science

11 pages, 7 figures; related to arXiv:0904.3789 and arXiv:0905.2449

Scientific paper

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 approach. This work extends the use of the scientific intensional programming paradigm onto modeling and implementation of a cyberforensics investigation process with the backtrace of event reconstruction, modeling the evidence as multidimensional hierarchical contexts, and proving or disproving the claims with it in the intensional manner of evaluation. This is a practical, context-aware improvement over the finite state automata (FSA) approach we have seen in the related works. As a base implementation language model we use in this approach is a new dialect of the Lucid programming language, that we call Forensic Lucid and in this paper we focus on defining hierarchical contexts based on the intensional logic for the evaluation of cyberforensic expressions.

Affiliated with

Also associated with

No associations

Rating

Towards Automated Deduction in Blackmail Case Analysis 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 Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-82012