支持法医Lucid程序、法医证据及其通过GIPSY评估的数据流图可视化的必要性
编程语言
2013-07-08 v2 密码学与安全
图形学
摘要
Lucid程序是数据流程序，可以可视化为数据流图（DFG）并进行可视化组合。法医Lucid是Lucid的一种方言，是一种用于指定和推理网络取证案例的语言。它包括证据的编码（表示评估的上下文）和犯罪现场建模，以便根据模型验证主张并执行事件重建，可能涉及大量数字证据。为了帮助调查人员建模场景并评估它，我们建议将Lucid DFG编程的设计和实现扩展到法医Lucid案例建模和规范，而不是输入法医Lucid程序，以提高语言和系统及其行为的可用性。我们简要讨论了可视化编程和DFG建模的相关工作，试图根据先前的实现、广泛使用、在语义和翻译方面的形式支持等标准，为法医Lucid定义并选择一种方法或多种方法的组合。最后，我们在此简短讨论的背景下，征求读者的建设性意见、反馈、评论和建议。
引用
@article{arxiv.1009.5423,
title = {The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY},
author = {Serguei A. Mokhov and Joey Paquet and Mourad Debbabi},
journal= {arXiv preprint arXiv:1009.5423},
year = {2013}
}
备注
11 pages, 7 figures, index; extended abstract presented at VizSec'10 at http://www.vizsec2010.org/posters ; short paper accepted at PST'11