Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid

Abstract

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.

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

References in corpus (3)

• Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY
• Complete Context Calculus Design and Implementation in GIPSY
• Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Cited by in corpus (5)

• Intensional Cyberforensics
• Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
• Cryptolysis v.0.0.1 - A Framework for Automated Cryptanalysis of Classical Ciphers
• The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY
• Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing