Login | Register

Intensional Cyberforensics


Intensional Cyberforensics

Mokhov, Serguei A. (2013) Intensional Cyberforensics. PhD thesis, Concordia University.

PDF - Accepted Version
Available under License Creative Commons Attribution Non-commercial Share Alike.



This work focuses on the application of intensional logic to cyberforensic analysis and its benefits and difficulties are compared with the finite-state-automata approach. This work extends the use of the intensional programming paradigm to the modeling and implementation of a cyberforensics investigation process with backtracing of event reconstruction, in which evidence is modeled by multidimensional hierarchical contexts, and proofs or disproofs of claims are undertaken in an eductive manner of evaluation. This approach is a practical, context-aware improvement over the finite state automata (FSA) approach we have seen in previous work. As a base implementation language model, we use in this approach a new dialect of the Lucid programming language, called Forensic Lucid, and we focus on defining hierarchical contexts based on intensional logic for the distributed evaluation of cyberforensic expressions. We also augment the work with credibility factors surrounding digital evidence and witness accounts, which have not been previously modeled.

The Forensic Lucid programming language, used for this intensional cyberforensic analysis, formally presented through its syntax and operational semantics. In large part, the language is based on its predecessor and codecessor Lucid dialects, such as GIPL, Indexical Lucid, Lucx, Objective Lucid, MARFL, and JOOIP bound by the underlying intensional programming paradigm.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Concordia University > Faculty of Engineering and Computer Science > Concordia Institute for Information Systems Engineering
Concordia University > Research Units > Centre for Pattern Recognition and Machine Intelligence
Concordia University > Research Units > Computer Security Laboratory
Concordia University > School of Graduate Studies
Item Type:Thesis (PhD)
Authors:Mokhov, Serguei A.
Institution:Concordia University
Degree Name:Ph. D.
Program:Computer Science and Software Engineering
Date:September 2013
Thesis Supervisor(s):Paquet, Joey and Debbabi, Mourad
Keywords:digital forensics, digital investigation, Forensic Lucid, intensional logic, intensional programming, formal methods, event reconstruction, Dempster-Shafer theory of evidence, GIPSY, MARF
ID Code:977460
Deposited By: Serguei Mokhov
Deposited On:13 Jan 2014 14:42
Last Modified:13 Jan 2014 14:42
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top