基于Petri网的电子数据取证有效性模型设计

摘要

由于目前互联网电子数据取证存在有效性验证不足的弊端,通过与概率论模型相结合,提出了基于Petri网的电子数据取证有效性模型。该模型以Petri网模型作为构建基础,将电子数据取证后的数据形式作为Petri网模型中的节点,电子数据证据随后的操作方法以及取证方法可描述为Petri网的变迁过程,提出了概率计算、验证及推理过程方法。通过对概率进行计算,得到证据的概率数据,最终确保了电子数据取证的可信度。最后,作者分析了基于Petri网的电子数据取证有效性模型的具体应用及其法律适用性。