使用Forensic Lucid对模拟打印机案例调查进行推理
计算机科学中的逻辑
2013-09-17 v2 密码学与安全
编程语言
摘要
在这项工作中，我们对ACMEE（虚构公司名称）“打印机案例事件”进行建模，并在Forensic Lucid中对其进行规约，Forensic Lucid是一种基于Lucid和内涵逻辑的编程语言，用于网络取证分析和事件重建规约。打印机案例涉及两方之间的争议，之前使用有限状态自动机（FSA）方法解决，现在使用Forensic Lucid以更易用的方式重新处理。我们的模拟基于上述案例建模，通过将证据和相关证人陈述等概念编码为Forensic Lucid程序中的证据陈述上下文，该上下文是建模案例中可能推论的转移函数的输入。然后，我们使用证据陈述上下文调用转移函数（实际上是其逆函数），以查看我们编码的证据是否与某人的主张一致，并尝试重建可能解释该主张或反驳该主张的事件序列。
引用
@article{arxiv.0906.5181,
title = {Reasoning About a Simulated Printer Case Investigation with Forensic Lucid},
author = {Serguei A. Mokhov and Joey Paquet and Mourad Debbabi},
journal= {arXiv preprint arXiv:0906.5181},
year = {2013}
}
备注
18 pages, 3 figures, 7 listings, TOC, index; this article closely relates to arXiv:0906.0049 and arXiv:0904.3789 but to remain stand-alone repeats some of the background and introductory content; abstract presented at HSC'09 and the full updated paper at ICDF2C'11. This is an updated/edited version after ICDF2C proceedings with more references and corrections