The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

by   Serguei A. Mokhov, et al.

Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system and its behavior. We briefly discuss the related work on visual programming an DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.


page 6

page 7


Functional programming with lambda-tree syntax

We present the design of a new functional programming language, MLTS, th...

A Visual Language for Composable Inductive Programming

We present Zoea Visual which is a visual programming language based on t...

LAGC Semantics of Concurrent Programming Languages

Formal, mathematically rigorous programming language semantics are the e...

Evidence of Meaning in Language Models Trained on Programs

We present evidence that language models can learn meaning despite being...

Scene Flow Estimation: A Survey

This paper is the first to review the scene flow estimation field, which...

Extending programs with debug-related features, with application to hardware development

The capacity and programmability of reconfigurable hardware such as FPGA...

Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS

Visualization requirements in Forensic Lucid have to do with different l...

Please sign up or login with your details

Forgot password? Click here to reset