面向法证Lucid的黑函分析自动化演绎

本项进行中的工作聚焦于内涵逻辑在网络取证分析中的应用精炼，并将其优势与有限状态自动机方法进行比较。本研究将科学的内涵编程范式扩展到网络取证调查过程的建模与实现中，包括事件重建的回溯、将证据建模为多维层次化上下文，并以内涵评估方式证明或反驳相关主张。这是对相关工作中所见有限状态自动机（FSA）方法的一种实用、上下文感知的改进。作为基础实现语言模型，我们采用了一种新的Lucid编程语言方言，称之为法证Lucid。本文重点在于基于内涵逻辑定义用于评估网络取证表达式的层次化上下文。